Formal reasoning with Verilog HDL (1988)

by G J Pace, J-F He
Venue:In Proe. the Workshop on Formal Techniques for Hardware and Hardware-hke Systems, Sweden