Metodi formali per security engineering - CoperInt 2006

  1. Home
  2. Research
  3. Projects
  4. 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'

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share