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