Making the Most of BMC Counterexamples
Alex Groce and Daniel Kroening
Details
| Book Title |
Proceedings of BMC 2004 |
| Pages |
67–81 |
| Publisher |
Elsevier |
| Series |
ENTCS |
| Volume |
119 |
| Year |
2005 |
Links
Related pages
|
People |