Ferruccio Damiani
3 published titles
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
(Contributor)
1 edition
- ISBN: 3540221646
- Springer
- 2004
- Details
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642317613
- Springer
- 2012
- Details
Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642358869
- Springer
- 2013
- Details
