Cogent: Accurate theorem proving for program verification
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Details
| Book 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
Related pages
|
People |