Software Verification Using k−Induction
Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer
Details
| Book Title |
SAS |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Year |
2011 |
Links
Related pages
|
People |