University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Abstract Conflict Driven Learning

V. D'Silva‚ L. Haller and D. Kroening

Details

Book Title

Proc. of the Symposium on Principles of Programming Languages

Publisher

ACM

Year

2013

Links

BibTeX

Related pages

People