G. Salaün
3 published titles
Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30 2011: proceedings
(Contributor)
1 edition
- ISBN: 9783642244308
- Springer
- 2011
- Details
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642358609
- Springer
- 2013
- Details
Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319104300
- Springer
- 2014
- Details
