Automated correctness proofs of machine code programs for a commercial microprocessor
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- An approach to systems verificationJournal of Automated Reasoning, 1989