@inproceedings{conf/cav/CimattiGPPPRTY97,
  added-at = {2009-09-25T00:00:00.000+0200},
  author = {Cimatti, Alessandro and Giunchiglia, Fausto and Pecchiari, Paolo and Pietra, Bruno and Profeta, Joe and Romano, Dario and Traverso, Paolo and Yu, Bing},
  biburl = {http://www.bibsonomy.org/bibtex/28df48a9aae910ecc0804d90980b65a73/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/1997},
  date = {2009-09-25},
  description = {dblp},
  editor = {Grumberg, Orna},
  ee = {http://dx.doi.org/10.1007/3-540-63166-6_21},
  interhash = {e2d4807f175a7b05f731825c023bbe22},
  intrahash = {8df48a9aae910ecc0804d90980b65a73},
  isbn = {3-540-63166-6},
  keywords = {dblp},
  pages = {202-213},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-25T00:00:00.000+0200},
  title = {A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav97.html#CimattiGPPPRTY97},
  volume = 1254,
  year = 1997
}