DMCA
The Blast Query Language for Software Verification
Cached
Download Links
by
Dirk Beyer
,
Adam J. Chlipala
,
Thomas A. Henzinger
,
Ranjit Jhala
,
Rupak Majumdar
| Citations: | 35 - 5 self |
BibTeX
@MISC{Beyer_theblast,
author = {Dirk Beyer and Adam J. Chlipala and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar},
title = {The Blast Query Language for Software Verification},
year = {}
}
Share
 |
 |
 |
 |
||
