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