By Idani Akram   Ledru Yves   in Formal Methods in System Design

ISSN:0925-9856|30|3|217-232

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 16.554808

By du Bousquet Lydie   Ledru Yves   Maury Olivier   Oriat Catherine   Lanet Jean-Louis   in Journal of Automated Reasoning

ISSN:0168-7433|45|4|415-435

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 8.277404