Skip to Main Content (Press Enter)
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
☰
Attività
Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli
Progetto
Dati Generali
Dati Generali
Partecipanti
MOMIGLIANO ALBERTO DAVIDE ADOLFO
Responsabile scientifico
Dipartimenti coinvolti
Dipartimento di Informatica Giovanni Degli Antoni
Principale
Tipo
AL_RIC - Bandi da altri enti di ricerca
Finanziatore
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Organizzazione Esterna
Ente Finanziatore
Capofila
UNIVERSITA' DEGLI STUDI DI MILANO
Periodo di attività
Marzo 17, 2017 - Marzo 16, 2018
Durata progetto
12 mesi