VDM '87
Subtitle: VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings
By: edited by D. Bjorner ... [et al.].
Contributors: Bjorner, Dines, 1937-; VDM-Europe.
Series: Lecture notes in computer science -- 252
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; London
Language: eng
Number of pages: 422
Subjects: Computer software -- Development -- Congresses.; Computer software industry -- European Community countries -- Congresses.
Other titles: VDM, a formal method at work.
Notes: Includes bibliographies.