InterAbstract - Verification and Security by Abstract Interpretation
Scheda Progetto di ricerca
Condividi sui principali social network:
- 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
