Gwen Salaün

Identifiers

Open LibraryOL7205437A

Top Subjects

Computer science (1)
Logic design (1)
Software engineering (1)

Books by Gwen Salaün

Total count: 4

Formal Methods for Industrial Critical Systems16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Formal Aspects of Component Software9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Springer2013-01-09
Software Engineering and Formal Methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Springer London, Limited2014-01-01
Software Technologies : Applications and FoundationsSTAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Springer2018-12-06