Contributions to Proceedings:

R. Blanc, T. Henzinger, T. Hottelier, L. Kovacs:
"ABC: Algebraic Bound Computation for Loops";
in: "Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16)", Springer LNAI 6355, Springer, 2010, ISBN: 978-3-642-17510-7, 103 - 118.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.