Cogent: Accurate theorem proving for program verification
Cook, Byron, Kroening, Daniel and Sharygina, Natasha infobook title | Proceedings of CAV 2005 |
editor | Etessami, Kousha and Rajamani, Sriram K. |
isbn | 3-540-27231-3 |
publisher | Springer |
series | Lecture Notes in Computer Science |
volume | 3576 |
year | 2005 |
links
BibTeX
related pages
|
