Formal synthesis of digital systems (1989)

by F K Hanna, M Longley, N Daeche
Venue:Applied Formal Methods For Correct VLSI Design