A two-level formal verification methodology using HOL and COSMOS (1991)

by Carl-Johan Seger, Jeffrey J Joyce
Venue:In Proceedings of Computer Aided Verification Conference