Damiani Ferruccio
Department of Computer Science
University of Turin
Italy
Biography
Damiani Ferruccio is working as Associate Professor at the Department of Computer Science, University of Turin, Italy.
Research Interest
Java; Theoretical Computer Science; Eclipse; Software Product Line
Publications
-
Damiani F, Dezani-Ciancaglini M, Giannini P. Re-classification and multi-threading: Fickle MT. InProceedings of the 2004 ACM symposium on Applied computing 2004 Mar 14 (pp. 1297-1304). ACM.
-
Beckert B, Damiani F, Gurov D, editors. Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Springer; 2012 Jul 11.
