By Cousot P.   in Automated Software Engineering

ISSN:0928-8910|6|1|69-95

Springer Publishing Company ‎(1999)‎

Access to resources Favorite 15.826643

By Cousot P.   Cousot R.   in Theoretical Computer Science

ISSN:0304-3975|290|1|531-544

Elsevier‎(2003)‎

Access to resources Favorite 12.301374