Towards Modularly Comparing Programs Using Automated Theorem Provers.

Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Reblo

Browse the full CADE paper archive.