Acronyms von A bis Z
LNCS215
-Mathematical Methods of Specification and Synthesis of Software Systems '85. Proceedings, Springer-Verlag 1985. Edited by W. Bibel and K. P. Jantke. 245 pages, 1986
-Mathematical Methods of Specification and Synthesis of Software Systems '85. Proceedings, Springer-Verlag 1985. Edited by W. Bibel and K. P. Jantke. 245 pages, 1986