Salaün, Gwen. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Did you mean: saladin or solaún or salavin

Start Over

You searched for: author Salaün, Gwen.

Showing 1 - 4 of 4 results

Search Results

Cover image for Software Technologies

Software Technologies

by Mazzara, Manuel
2018
1st ed. 2018
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

by Giannakopoulou, Dimitra
2014
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

by Ölveczky, Peter Csaba
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2011
Format: Electronic

Location
Access Content Online