Monotonic Abstraction in Action.

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Browse the full ICTAC paper archive.