Automated Theory Substitution Toward Proof-Driven Software Development.

John Scebold, Eric Bond, Emily Gray, Jared Ziegler

Browse the full SERA paper archive.