Voss { a formal hardware veri cation system (1993)

by C-J Seger