DIPARTIMENTO   DI   INFORMATICA Università di Torino

Research on "Formal Methods in Computing" Luca ROVERSI Associate Professor Dipartimento di Informatica Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706720 (direct) Fax: +39 011 751603 e-mail Didattica Scienze Politiche Altre Facoltà Research Works about theoretical subjects (Publications, manuscripts, ...) (.html) Works about applicative subjects (Publications, manuscripts, ...) (.html) Bibliography of my research group (some) Projects (.html) Lectures (.html) Curriculum vitae Italiano --- dettagliato (.html) English --- detailed (.html) Altro Open source Local howtos

[Research on "Formal Methods in Computing"] [Department's news and events] [Department's HOME]

	Last update: Aug 11, 2008