Modelling and analysis in VDM : proceedings of the fourth VDM/Overture Workshop /
VDM/Overture Workshop(4th :2008 :Aabo Akademi, Turku, Finland)
Fitzgerald, John,1965-
Larsen, P. G.(Peter Gorm),1964-
Sahara, S.(Shin)
International Symposium of Formal Methods Europe(15th :(2008 :Aabo Akademi)
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2008.
"May, 2008".
Title from cover.
The Workshop took place as part of the 15th International Symposium on Formal Methods (FM 2008) at Aabo Akademi, Turku, Finland, May, 2008).
Includes bibliographical references.
Formal methods (Computer science)