Acronyms von A bis Z
LNCS1051
-M.-C. Gaudel/J. Woodcock (Eds.): FME'96: Industrial Benefit and Advances in Formal Methods, Springer-Verlag Proceedings 1996
-M.-C. Gaudel/J. Woodcock (Eds.): FME'96: Industrial Benefit and Advances in Formal Methods, Springer-Verlag Proceedings 1996