Fme '93: Industrial-Strength Formal Methods 
Subtitle: First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science)
Contributors: P. G. Larsen (Editor)
Publisher: Springer
Published: December 1993
Number of pages: 689
ISBN-13: 9780387566627
First sentence: Development of any large computer system is difficult but formal methods like VDM have been shown to help control the development process - and provide useful documentation - of sequential systems.