CS 624/724 Formal Specification of Software Systems
Catalog Description
Class Offerings
Winter 2000
Fall 2001
Fall 2002
Fall 2003
Spring 2005
Spring 2009
Additional Information
Formal Methods
Java
Rational Rose
UML
VDM and VDM++
Z
B
Send comments to
Barrett Bryant