InterAbstract - Verification and Security by Abstract Interpretation

Profile Card Research project

Share this record with your favourite social network: Facebook    Delicious    add to CiteUlike
Starting date
December 1, 2005

Duration (months)
61

Departments
Computer Science

Person in charge
Giacobazzi Roberto

Description

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

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department
Syllabus: INTERNAZ - Progetti di Internazionalizzazione

Project participants

Roberto Giacobazzi
Full Professor
ornamento
Top