@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}
}