Learning by doing : practical courses in lightweight formal methods using VDM++ /
Larsen, P. G.(Peter Gorm),1964-
Fitzgerald, J. S.(John S.)
Riddle, S.(Steve)
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne,
2006.
"December 2006."
Includes bibliographical references.
Computer-aided software engineering.
Software engineering
Formal methods (Computer science).