Gwen Salaün

Bücher
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2019
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2011