Two Automated Methods in Implementation Proofs.

Leo Marcus, Timothy Redmond

Browse the full CADE paper archive.