The SMT-LIB standard - version 2.0

Clark Barrett, A. Stump, Cesare Tinelli

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, Edinburgh, Scotland,(SMT '10)
Place of PublicationEdinburgh, Scotland
StatePublished - 2010

Cite this

Barrett, C., Stump, A., & Tinelli, C. (2010). The SMT-LIB standard - version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10) Edinburgh, Scotland.

The SMT-LIB standard - version 2.0. / Barrett, Clark; Stump, A.; Tinelli, Cesare.

Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10). Edinburgh, Scotland, 2010.

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

Barrett, C, Stump, A & Tinelli, C 2010, The SMT-LIB standard - version 2.0. in Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10). Edinburgh, Scotland.
Barrett C, Stump A, Tinelli C. The SMT-LIB standard - version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10). Edinburgh, Scotland. 2010
Barrett, Clark ; Stump, A. ; Tinelli, Cesare. / The SMT-LIB standard - version 2.0. Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10). Edinburgh, Scotland, 2010.
@inproceedings{dc39c1a90bd64d1598d474e12036f97f,
title = "The SMT-LIB standard - version 2.0",
author = "Clark Barrett and A. Stump and Cesare Tinelli",
year = "2010",
language = "English (US)",
booktitle = "Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10)",

}

TY - GEN

T1 - The SMT-LIB standard - version 2.0

AU - Barrett, Clark

AU - Stump, A.

AU - Tinelli, Cesare

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10)

CY - Edinburgh, Scotland

ER -