Songtao Xia, James Hook
Certifying Temporal Properties for Compiled C Programs
VMCAI, 2004.
@inproceedings{VMCAI-2004-XiaH, author = "Songtao Xia and James Hook", booktitle = "{Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-540-24622-0_15", isbn = "3-540-20803-8", pages = "161--174", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Certifying Temporal Properties for Compiled C Programs}", volume = 2937, year = 2004, }