Exploring and categorizing error spacing using BMC and SMT

Tim King, Clark Barrett

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

Original languageEnglish (US)
Title of host publicationProceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11)
Place of PublicationSnowbird, Utah
StatePublished - Jul 2011

Cite this

King, T., & Barrett, C. (2011). Exploring and categorizing error spacing using BMC and SMT. In Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11) Snowbird, Utah.

Exploring and categorizing error spacing using BMC and SMT. / King, Tim; Barrett, Clark.

Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11). Snowbird, Utah, 2011.

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

King, T & Barrett, C 2011, Exploring and categorizing error spacing using BMC and SMT. in Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11). Snowbird, Utah.
King T, Barrett C. Exploring and categorizing error spacing using BMC and SMT. In Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11). Snowbird, Utah. 2011
King, Tim ; Barrett, Clark. / Exploring and categorizing error spacing using BMC and SMT. Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11). Snowbird, Utah, 2011.
@inproceedings{5b61117647714a2fa8285e60de5c182e,
title = "Exploring and categorizing error spacing using BMC and SMT",
author = "Tim King and Clark Barrett",
year = "2011",
month = "7",
language = "English (US)",
booktitle = "Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11)",

}

TY - GEN

T1 - Exploring and categorizing error spacing using BMC and SMT

AU - King, Tim

AU - Barrett, Clark

PY - 2011/7

Y1 - 2011/7

M3 - Conference contribution

BT - Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11)

CY - Snowbird, Utah

ER -