Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Invited talk: the blast query language for software verification. 1-2 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013964 db/conf/ppdp/ppdp2004.html#BeyerCHJM04