University of Oxford Department of Computer Science

SAT−based Summarisation for Boolean Programs

Gerard Basler‚ Daniel Kroening and Georg Weissenbacher

Book Title

Proceedings of SPIN 2007

Note

Click here for slides.

Number

4595

Pages

131–148

Series

Lecture Notes in Computer Science

Year

2007

Links

See Also

Back to Top