Mathematical Science Institute Workshops (MSIW)

Hardware Specification, Verification and Synthesis 1989: Ithaca, NY, USA

a service of Schloss Dagstuhl - Leibniz Center for Informatics