| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11) |
| Place of Publication | Snowbird, Utah |
| State | Published - Jul 2011 |
Exploring and categorizing error spacing using BMC and SMT
Tim King, Clark Barrett
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution