The Blast query language for software verification (2004)

by D Beyer, A J Chlipala, T A Henzinger, R Jhala, R Majumdar
Venue:In SAS 2004: Static Analysis Symposium, LNCS