DMCA

The Blast Query Language for Software Verification

by Dirk Beyer , Adam J. Chlipala , Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar
Citations:35 - 5 self