Original language | English (US) |
---|---|
Title of host publication | Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Edinburgh, Scotland,(SMT '10) |
State | Published - 2010 |
Sharing is caring
Clark Barrett
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution