Faculty Home topBanner_en.jpg
 
| where to find uswhere to find us | | telephone e-mailtelephone e-mail | |   | Italiano English ? |
map map
 
*Education *People *Collegial bodies *Offices and service facilities
*News & Events *News *Seminars *Libraries
University Home 
Faculty Home 
 
Didactic offer
*
 
 
*
*
*
*
 
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
|
 

Seminar

On the theorem prover PML

Supervisor Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie
Date and time Tuesday, December 9, 2008 at 4:30 PM - Caffe' e pasticcini ore 16.15
Place Not inserted.
Contact person Gianluigi Bellin
Publication date December 9, 2008

Summary

Non pervenuto