Boogie meets regions: A verification experience report (2008)

by Anindya Banerjee , Mike Barnett , David A. Naumann
Venue:Verified Software: Theories, Tools, Experiments, VSTTE 2008, volume 5295 of Lecture Notes in Computer Science
Citations:17 - 4 self