A Tool for Checking {ANSI-C} Programs
Clarke, Edmund, Kroening, Daniel, Lerda and Flavio
Details
| Book Title |
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) |
| Editor |
Kurt Jensen and Andreas Podelski |
| ISBN |
3-540-21299-X |
| Pages |
168—176 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2988 |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |