Acronyms von A bis Z
LNCS1166
-M. Srivas/A. Camilleri (Eds.): Formal Methods in Computer-Aided Design. Proceedings 1996, Springer-Verlag 1996
-M. Srivas/A. Camilleri (Eds.): Formal Methods in Computer-Aided Design. Proceedings 1996, Springer-Verlag 1996