SAT−based Summarisation for Boolean Programs
Gerard Basler‚ Daniel Kroening and Georg Weissenbacher
Details
| Book Title |
Proceedings of SPIN 2007 |
| Note | |
| Number |
4595 |
| Pages |
131–148 |
| Series |
Lecture Notes in Computer Science |
| Year |
2007 |
Links
Related pages
|
People |