Formal synthesis of digital systems (1989)

by F K Hanna, N Daeche, M Longley
Venue:Hardware Speci cation, Veri cation and Synthesis: Mathematical Aspects� Mathematical Sciences Institute Workshop� LNCS