VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /

Bibliographic Details
Corporate Author:	VDM-Europe
Other Authors:	Bjrner, D. (Dines), 1937-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	Lecture notes in computer science ; 252.
Subjects:	Computer software > Development > Congresses. Computer software industry > European Economic Community countries > Congresses.

Remote Storage