Search

You searched for: Auteur Salaün, Gwen Remove constraint Auteur: Salaün, Gwen
1 - 6 of 6
Number of results to display per page

Search Results

1. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Giannakopoulou; Salaün, Gwen
Publisher:
Springer International Publishing 2014
Format:
e-book
2. Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
thumbnail
Full text!
Author:
Salaün, Gwen; Wijs, Anton
Publisher:
Springer 2021
Format:
e-book
3. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Ölveczky; Salaün, Gwen
Publisher:
Springer International Publishing 2019
Format:
e-book
4. Software Technologies: Applications and Foundations
thumbnail
Full text!
Author:
Mazzara; Gwen Salaün; Iulian Ober; Ober, Iulian; Salaün, Gwen
Publisher:
Springer International Publishing 2018
Format:
e-book
5. Formal Aspects of Component Software
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Salaün, Gwen
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
6. Formal Methods for Industrial Critical Systems
thumbnail
Full text!
Author:
Salaün, Gwen; Kanade, Takeo; Schätz, Bernhard
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book