- ECU Libraries Catalog

Start Over

You searched for: author_facet Gnesi, Stefania

Showing 1 - 9 of 9 results

Search Results

Cover image for Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering

Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering

by Gnesi, Stefania
2022
Format: Electronic

Location
Access Content Online

Cover image for Critical Systems

Critical Systems

by ter Beek, Maurice H.
2016
Format: Electronic

Location
Access Content Online

Cover image for FM 2016

FM 2016

by Fitzgerald, John
2016
Format: Electronic

Location
Access Content Online

Cover image for 2nd FME Workshop on Formal Methods in Software Engineering

2nd FME Workshop on Formal Methods in Software Engineering

by Gnesi, Stefania
2014
Format: Electronic

Location
Access Content Online

Cover image for Fundamental approaches to software engineering

Fundamental approaches to software engineering

by FASE (Conference)
2014
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the seventh International Workshop on Variability Modelling of Software-Intensive Systems

Proceedings of the seventh International Workshop on Variability Modelling of Software-Intensive Systems

by Gnesi, Stefania
2013
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the sixth International Workshop on Variability Modeling of Software-Intensive Systems

Proceedings of the sixth International Workshop on Variability Modeling of Software-Intensive Systems

by Eisenecker, Ulrich W.
2012
Format: Electronic

Location
Access Content Online

Cover image for FME 2003

FME 2003

by Araki, Keijiro
2003
Format: Electronic

Location
Access Content Online

Cover image for FME 2003

FME 2003

by International Symposium of Formal Methods Europe
2003
Format: Book

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