Formal verification made easy

• 1 July 1997
• journal article
• Published by IBM in IBM Journal of Research and Development
• Vol. 41  (5) , 567-576
• https://doi.org/10.1147/rd.414.0567

Abstract