@inproceedings{DBLP:conf/vmcai/XiaH04,
 author = {Songtao Xia and
James Hook},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/vmcai/XiaH04.bib},
 booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings},
 doi = {10.1007/978-3-540-24622-0_15},
 editor = {Bernhard Steffen and
Giorgio Levi},
 pages = {161--174},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:43 +0200},
 title = {Certifying Temporal Properties for Compiled C Programs},
 url = {https://doi.org/10.1007/978-3-540-24622-0_15},
 volume = {2937},
 year = {2004}
}