ZULEGER FLORIAN FRANZ

Computing a symbolic bound for a procedure