| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10) |
| Place of Publication | Edinburgh, Scotland |
| State | Published - 2010 |
The SMT-LIB standard - version 2.0
Clark Barrett, A. Stump, Cesare Tinelli
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution