Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings

Miriam Leeser Geoffrey Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings Hardware Specification, Verification and Synthesis Lecture Notes in Computer Science 408 Springer 1990 3-540-97226-9 db/conf/msiw/msiw1989.html