Accurate Theorem Proving for Program Verification
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Details
| Book Title |
Proceedings of ISoLA 2004 |
| Pages |
96–114 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
4313 |
| Year |
2006 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |