A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (bibtex)
by Florian Zuleger Helmut Veith Moritz Sinn
Reference:
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisFlorian Zuleger Helmut Veith Moritz SinnCAV, 2014.
Bibtex Entry:
@inproceedings{SD4,
  author    = {Moritz Sinn, Florian Zuleger, Helmut Veith},
  title     = {A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis},
  booktitle = {CAV},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.5842}
}
Powered by bibtexbrowser