Tighter Loop Bound Analysis (bibtex)
by Pavel Cadek, Jan Strejcek, Marek Trtík
Reference:
Tighter Loop Bound AnalysisPavel Cadek, Jan Strejcek, Marek TrtíkAutomated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pages 512-527, 2016.
Bibtex Entry:
@inproceedings{conf/atva/CadekST16,
  author    = {Pavel Cadek and
               Jan Strejcek and
               Marek Trt{\'{\i}}k},
  title     = {Tighter Loop Bound Analysis},
  booktitle = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  pages     = {512--527},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-46520-3_32}
}
Powered by bibtexbrowser