InterAbstract - Verification and Security by Abstract Interpretation

  1. Home
  2. Ricerca
  3. Progetti
  4. InterAbstract - Verification and Security by Abstract Interpretation
Data inizio
1 dicembre 2005
Durata (mesi) 
61
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto

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

Attività

Strutture

Condividi