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