Stefania Gnesi
3 published titles
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540408282
- Springer
- 2003
- Details
Formal methods for industrial critical systems : a survey of applications
(Contributor)
1 edition
- ISBN: 9780470876183
- IEEE Computer Society
- 2013
- Details
Fundamental approaches to software engineering : 17th international conference, FASE 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, Fran
(Contributor)
1 edition
- ISBN: 9783642548031
- Springer
- 2014
- Details
