MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2014

Springer International Publishing

Other Authors: “...Salaün, Gwen...”

Cover Image

2

Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Salaün, Gwen...”

Cover Image

3

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Salaün, Gwen...”

Cover Image

4

Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Salaün, Gwen...”

Cover Image

5

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

Published 2019

Springer International Publishing

Other Authors: “...Salaün, Gwen...”

Cover Image

6

Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Published 2018

Springer International Publishing

Other Authors: “...Salaün, Gwen...”