Formal system design—interactive synthesis based on computer-assisted formal reasoning (1989)

by S Finn, M Fourman, M Francis, R Harris
Venue:IMECIFIP International Workshop on Applied Formal Methods for Correct VLSI Design