Sharing is caring

Clark Barrett

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Edinburgh, Scotland,(SMT '10)
StatePublished - 2010

Cite this