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