Programma di ricerca scientifica di rilevante interesse nazionale
Certificazione Automatica di Programmi mediante Interpretazione Astratta
Descrizione
Modello A
Valutazioni
Ricercatori
Lista delle pubblicazioni
Cerca pubblicazioni
Inserisci pubblicazioni
Primo workshop
Secondo workshop
Software sviluppato
Seminari
Links
The Trojan horse: a problem in security
Per problemi e suggeriment
i:
spoto@sci.univr.it
