VDMTools : advances in support for formal modeling in VDM /
Fitzgerald, John,1965-
Larsen, P. G.(Peter Gorm),1964-
Sahara, S.(Shin)
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing science,
2007.
Title from cover.
"November, 2007"--Cover.
Includes bibliographical references.
Software engineering.
Computer software
Formal methods (Computer science)