Part of MSCS courses.
Graduate. Grade A-
Dr Janusz W. Laski, Ph.D.
Computer Science and Engineering Department
113 DHE; (248) 370-2214; Fax: (248) 370-4625
systematic Software development using VDM. by Cliff B. Jones
Prentice Hall International Series in Computing Science
Project Implemented a Package for Outputting a Regular expression representing the set of all paths between 2 vertices. Using C.