By Bozga Marius   Iosif Radu   Perarnau Swann   in Journal of Automated Reasoning

ISSN:0168-7433|45|2|131-156

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 13.540898

By Bozga Marius   Fernandez Jean-Claude   Kerbrat Alain   Mounier Laurent   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|1|1-2|166-183

Springer Publishing Company ‎(1997)‎

Access to resources Favorite 11.284082