Sezione di Matematica e Informatica

Vashti Galpin

Date Visita
Data Inizio Visita: 
Lun, 06/06/2011
Data Fine Visita: 
Giov, 16/06/2011
Affiliazione: 
University of Edinburgh
Paese: 
United Kingdom
Interesse Scientifico: 
Formal methods in computer science
Riferimento: 
dott. Luca Bortolussi