Skip to main content

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