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