Record Beta
Mathematical Science Institute Workshops
https://id.confref.org/data/confref-portal/event/msiw1989
This record is part of the confref event Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.