Metodi formali per security engineering - CoperInt 2006

Starting date
October 1, 2007
Duration (months)
1
Departments
Computer Science
Managers or local contacts
Vigano' Luca

Progetto di Cooperazione Internazionale nell'ambito del progetto "Metodi formali per security engineering"

Sponsors:

Ateneo
Funds: assigned and managed by the department
Syllabus: PROGATENEO - Progetti d'Ateneo

Project participants

Luca Vigano'
Research Assistants

Activities

Research facilities