Vittorio Cortellessa
2 published titles
Formal methods for model-driven engineering : 12th International School On Formal Methods For The Design Of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23 2012 :
(Contributor)
1 edition
- ISBN: 9783642309816
- Springer
- 2012
- Details
Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, M
(Contributor)
1 edition
- ISBN: 9783642370564
- Springer
- 2013
- Details
