InterAbstract - Verification and Security by Abstract Interpretation

Scheda Progetto di ricerca

Condividi sui principali social network: Facebook    Delicious    add to Connotea    add to CiteUlike
Data inizio
1 dicembre 2005

Durata (mesi) 
61

Dipartimenti
Informatica

Responsabili (o referenti locali)
Giacobazzi Roberto

Descrizione

Programmi per l'incentivazione del processo di internazionalizzazione del sistema universitario (DN 05/08/2004)

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento
Programma: INTERNAZ - Progetti di Internazionalizzazione

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario
ornamento
Inizio pagina