Acronyms von A bis Z
LNCS1522
-G. Gopalakrishnan/P. Windley (Eds.): Formal Methods in Computer-Aided Design. Proceedings, Springer-Verlag 1998
-G. Gopalakrishnan/P. Windley (Eds.): Formal Methods in Computer-Aided Design. Proceedings, Springer-Verlag 1998