A Formal HDL and its Use in the FM9001 Verification', in Mechanized Reasoning and Hardware Design, edited by (1992)

by B C Brock
Venue:Prentice-Hall International Series in Computer Science, Prentice-Hall