Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Gwen Salaün | lit.salon

Author

Gwen Salaün

4 works

2011–2018 across 4 dated works

No biography is available yet.

Start with

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings2011
Formal Aspects of Component Software 17th International Symposium, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings2013
With Corina S Pasareanu
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings2014
With Dimitra Giannakopoulou
Software Technologies : Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers2018
With Manuel Mazzara, Iulian Ober

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings2014
With Dimitra Giannakopoulou
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Formal Aspects of Component Software 17th International Symposium, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings2013
With Corina S Pasareanu
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings2011
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Software Technologies : Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers2018
With Manuel Mazzara, Iulian Ober
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Gwen Salaün.

The conversation is still open.

There is no public salon activity to show for Gwen Salaün yet.