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

Polynomial Constraints for Sets with Cardinality Bounds

Bruno Marnette‚ Viktor Kuncak and Martin Rinard

Details

Journal

FoSSaCS
Year

2007

Links

BibTeX

Related pages

People

Bruno Marnette