Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli

Progetto

Dati Generali

Partecipanti

MOMIGLIANO ALBERTO DAVIDE ADOLFO   Responsabile scientifico  

Dipartimenti coinvolti

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