Invited talk: the blast query language for software verification.

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

Browse the full PEPM paper archive.