VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings /

Bibliographic Details
Corporate Author:	VDM (Symposium) Kiel, Germany)
Other Authors:	Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Langmaack, Hans
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 428.
Subjects:	Computer software > Development > Congresses.

Remote Storage