Acronyms von A bis Z
LNCS735
-D. Bjorner/M. Broy/I.V. Pottoson (Eds.): Formal Methods in Programming and Their Applications, Springer-Verlag Proceedings 1993
-D. Bjorner/M. Broy/I.V. Pottoson (Eds.): Formal Methods in Programming and Their Applications, Springer-Verlag Proceedings 1993