D
IPARTIMENTO DI
I
NFORMATICA
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