Bloomfield, R. Ed. Marshall, L. Ed. Jones, R. Ed.
VDM '88 : VDM - The Way Ahead (Vienna Development Method) Proceedings, 2nd VDM-Europe Symp., Dublin, Ireland, 1988 - Berlin Springer Verlag 1988 - 499 - Lecture notes in computer science ; 00328 .
3540502149
VDM '88
681 LNCS
VDM '88 : VDM - The Way Ahead (Vienna Development Method) Proceedings, 2nd VDM-Europe Symp., Dublin, Ireland, 1988 - Berlin Springer Verlag 1988 - 499 - Lecture notes in computer science ; 00328 .
3540502149
VDM '88
681 LNCS