Improving Automatic Complexity Analysis of Integer Programs.

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)