@inproceedings{ACimattiMRoveriVSchuppanATchaltsev-VMCAI-2008,
  author    = {Alessandro Cimatti and Marco Roveri and Viktor Schuppan and Andrei Tchaltsev},
  title     = {Diagnostic Information for Realizability},
  pages     = {52-67},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78163-9_9},
  crossref  = {conf/vmcai/2008},
}

@proceedings{conf/vmcai/2008,
  editor    = {Franceso Logozzo and Doron A. Peled and Lenore D. Zuck},
  title     = {Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
  booktitle = {VMCAI'08},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4905},
  year      = {2008},
  isbn      = {978-3-540-78162-2},
}