By Bloem Roderick   Gabow Harold   Somenzi Fabio   in Formal Methods in System Design

ISSN:0925-9856|28|1|37-56

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 12.606325

By Jin HoonSang   Ravi Kavita   Somenzi Fabio   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|6|2|102-116

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 12.606325

By Wang Chao   Bloem Roderick   Hachtel Gary   Ravi Kavita   Somenzi Fabio   in Formal Methods in System Design

ISSN:0925-9856|28|1|5-36

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 10.505272