Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Invited talk: the blast query language for software verification
PPDP, 2004.
@inproceedings{PPDP-2004-BeyerCHJM, author = "Dirk Beyer and Adam Chlipala and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar", booktitle = "{Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1013963.1013964", isbn = "1-58113-819-9", pages = "1--2", publisher = "{ACM}", title = "{Invited talk: the blast query language for software verification}", year = 2004, }