Acronyms von A bis Z
LNCS408
-M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer-Verlag 1990
-M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer-Verlag 1990