Rajeev Alur, Swarat Chaudhuri
Temporal Reasoning for Procedural Programs
VMCAI, 2010.
@inproceedings{VMCAI-2010-AlurC, author = "Rajeev Alur and Swarat Chaudhuri", booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-642-11319-2_7", isbn = "978-3-642-11318-5", pages = "45--60", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Temporal Reasoning for Procedural Programs}", volume = 5944, year = 2010, }