Abstractions from proofs

Open Webpage

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

Published: 2004, Last Modified: 04 May 2026POPL 2004EveryoneRevisionsBibTeXCC BY-SA 4.0