Abstractions from proofs

Open Webpage

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan

Published: 2014, Last Modified: 04 May 2026ACM SIGPLAN Notices 2014EveryoneRevisionsBibTeXCC BY-SA 4.0