Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cav/GroceKL04
AU - Groce, Alex
AU - Kroening, Daniel
AU - Lerda, Flavio
TI - Understanding Counterexamples with explain.
BT - Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
SP - 453
EP - 456
PY - 2004//
DO - 10.1007/978-3-540-27813-9_35
UR - https://doi.org/10.1007/978-3-540-27813-9_35
ER -
