Showing 1 - 5 results of 5 for search 'Salaün, Gwen', query time: 0.02s Refine Results
  1. 1
    Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
    Published 2013
    Other Authors: “…Salaün, Gwen…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Published 2014
    Other Authors: “…Salaün, Gwen…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /
    Published 2011
    Other Authors: “…Salaün, Gwen…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
    Published 2019
    Other Authors: “…Salaün, Gwen…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
    Published 2018
    Other Authors: “…Salaün, Gwen…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search