Acronyms von A bis Z
LNCS1313
-J. Fitzgerald/C.B. Jones/P. Lucas (Eds.): FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. Proccedings, Springer-Verlag 1997
-J. Fitzgerald/C.B. Jones/P. Lucas (Eds.): FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. Proccedings, Springer-Verlag 1997