Tighter Loop Bound Analysis.

Pavel Cadek, Jan Strejcek, Marek Trtk

Browse the full ATVA paper archive.