@inproceedings{LiuTyszberowiczBeckertTaghdiri2017,
title = {Computing Exact Loop Bounds for Bounded Program Verification},
author = {Tianhai Liu and Shmuel Tyszberowicz and Bernhard Beckert and
Mana Taghdiri},
booktitle = {International Symposium on Dependable Software Engineering:
Theories, Tools, and Applications (SETTA 2017)},
pages = {147--163},
series = {LNCS 10606},
publisher = {Springer},
year = {2017}
}