SAT-based Summarisation for Boolean Programs

Basler, Gerard, Kroening, Daniel and Weissenbacher, Georg

book title	Proceedings of SPIN 2007
number	4595
pages	131—148
series	Lecture Notes in Computer Science
year	2007

people

Daniel Kroening | Georg Weissenbacher