Leeser, Miriam
Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5-7, 1989 Proceedings
edited by Miriam Leeser, Geoffrey Brown.
1990
331076
isbn:9780387348018|isbn:0387348018