SAT-Based Summarization for Boolean Programs
Published in Lecture notes in computer science • Aug 30, 2007
Authors:,,
Gérard Basler
Daniel Kroening
Georg Weißenbacher
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!