Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri. Computing Exact Loop Bounds for Bounded Program Verification. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 147-163, Springer, 2017. [doi]
@inproceedings{LiuTBT17,
title = {Computing Exact Loop Bounds for Bounded Program Verification},
author = {Tianhai Liu and Shmuel S. Tyszberowicz and Bernhard Beckert and Mana Taghdiri},
year = {2017},
doi = {10.1007/978-3-319-69483-2_9},
url = {https://doi.org/10.1007/978-3-319-69483-2_9},
researchr = {https://researchr.org/publication/LiuTBT17},
cites = {0},
citedby = {0},
pages = {147-163},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings},
editor = {Kim Guldstrand Larsen and Oleg Sokolsky and Ji Wang},
volume = {10606},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-69483-2},
}