ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution).

Nam Moussaoui Remil, Caterina Urban

Browse the full TACAS paper archive.