Invited talk: the blast query language for software verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. Invited talk: the blast query language for software verification. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 201-202, ACM, 2004. [doi]

This author has not been identified. Look up 'Dirk Beyer' in GoogleIdentified as Adam J. Chlipala This author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL