Metodi formali per security engineering - CoperInt 2006

Data inizio
1 ottobre 2007
Durata (mesi) 
1
Dipartimenti
Informatica
Responsabili (o referenti locali)
Vigano' Luca

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

Enti finanziatori:

Ateneo
Finanziamento: assegnato e gestito dal Dipartimento
Programma: PROGATENEO - Progetti d'Ateneo

Partecipanti al progetto

Luca Vigano'
Incaricato alla ricerca

Attività

Strutture