By Roşu Grigore   in Automated Software Engineering

ISSN:0928-8910|12|2|151-197

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 22.498735

By Havelund Klaus   Roşu Grigore   in Formal Methods in System Design

ISSN:0925-9856|24|2|99-100

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 18.835972

By Havelund Klaus   Roşu Grigore   in Formal Methods in System Design

ISSN:0925-9856|27|3|211-212

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 18.835972

By Havelund Klaus   Roşu Grigore   in Formal Methods in System Design

ISSN:0925-9856|24|2|189-215

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 18.835972

By Goguen Joseph   Roşu Grigore   in Formal Aspects of Computing

ISSN:0934-5043|13|3-5|274-307

Springer Publishing Company ‎(2002)‎

Access to resources Favorite 18.835972

By Havelund Klaus   Roşu Grigore   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|6|2|158-173

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 18.835972

By Sen Koushik   Roşu Grigore   Agha Gul   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|3|248-260

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 15.173207