- ECU Libraries Catalog

Start Over

You searched for: author_facet Gaudel, M.-C.

Showing 1 - 6 of 6 results

Search Results

Cover image for Unifying theories of programming

Unifying theories of programming

by UTP 2012
2013
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the second International Workshop on Random Testing (RT 2007)

Proceedings of the second International Workshop on Random Testing (RT 2007)

by Gaudel, M.-C.
2007
Format: Electronic

Location
Access Content Online

Cover image for FME '96, industrial benefit and advances in formal methods

FME '96, industrial benefit and advances in formal methods

by International Symposium of Formal Methods Europe
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 I593 1996	✔ Available

Cover image for FME '96, industrial benefit and advances in formal methods

FME '96, industrial benefit and advances in formal methods

by International Symposium of Formal Methods Europe
1996
Format: Electronic

Location
Access Content Online

Cover image for TAPSOFT '93

TAPSOFT '93

by International Joint Conference on Theory and Practice of Software Development
1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 I58 1993	✔ Available

Cover image for TAPSOFT '93

TAPSOFT '93

by International Joint Conference on Theory and Practice of Software Development
1993
Format: Electronic

Location
Access Content Online