Example Proofs Using Offline Characterizations of Procedures in the State Delta Verification System (SDVS) [report]

J. V. Cook, J. E. Doner
1990 unpublished
doi:10.21236/ada235082 fatcat:ijurqflxc5ho3be3a2u2go3tbu