Monotonic Abstraction in Action - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine. Monotonic Abstraction in Action. In John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Volume 5160 of Lecture Notes in Computer Science, pages 50-65, Springer, 2008. [doi]

This author has not been identified. Look up 'Parosh Aziz Abdulla' in GoogleThis author has not been identified. Look up 'Giorgio Delzanno' in GoogleThis author has not been identified. Look up 'Ahmed Rezine' in Google

runs on WebDSL