@inproceedings{mci/Sinn2016,
author = {Sinn, Moritz AND Zuleger, Florian AND Veith, Helmut},
title = {A simple and scalable static analysis for bound analysis and amortized complexity analysis},
booktitle = {Software Engineering 2016},
year = {2016},
editor = {Knoop, Jens AND Zdun, Uwe} ,
pages = { 101-102 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}