A Formal HDL and its Use in the FM9001 Verification (1992)

by Warren A. Hunt , Jr. , Bishop C. Brock , Its Proof Internal Note
Citations:27 - 5 self