Media type: E-Book; Conference Proceedings Title: VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings Contributor: Bloomfield, Robin E. [Author]; Jones, Roger B. [Other]; Marshall, Lynn S. [Other] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1988 Published in: Lecture notes in computer science ; 328 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-50214-9 ISBN: 9783540459552 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: VDM Origination: Footnote: