Towards modularly comparing programs using automated theorem provers,” (2013)

by C Hawblitzel, M Kawaguchi, S K Lahiri, H Rebelo
Venue:in International Conference on Automated Deduction (CADE).