VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988 : proceedings /

Bibliographic Details
Corporate Author: VDM-Europe
Other Authors: Bloomfield, R., Marshall, L., Jones, R. (Richard), 1936-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1988]
Series:Lecture notes in computer science ; 328.
Subjects: