School of Informatics, Computing, and Engineering
Technical Report TR372:
Integrating Boolean Verification with Formal Derivation
Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela
(Feb 1993), 10 pages pages
The abstact is not available. Please see the full paper.
The Trustees of