Professor
Office:
Phone: +39 0461 28 3903
Fax: +39 0461 28 2093
E-mail: jmcs.toronto.edu

Member of Research Program
Software Engineering, Formal Methods and Security

Links
Technical reports
Published papers
(List of publications from UGOV UniTN and Eprints UniTN)