By Armando Alessandro   Baumgartner Peter   Dowek Gilles   in Journal of Automated Reasoning

ISSN:0168-7433|45|2|89-89

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 9.812401

By Armando Alessandro   Benerecetti Massimo   Mantovani Jacopo   in Automated Software Engineering

ISSN:0928-8910|21|2|225-285

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 9.812401

By Armando Alessandro   Basin David   Cuellar Jorge   Rusinowitch Michaël   Viganò Luca   in Journal of Automated Reasoning

ISSN:0168-7433|36|1-2|1-3

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 7.359222