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
☰
Strutture
Estensioni del Property-based Testing di e con linguaggi di programmazione dichiarativa.
Progetto
Dati Generali
Aree Di Ricerca
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
Periodo di attività
Marzo 9, 2020 - Marzo 8, 2021
Durata progetto
12 mesi
Aree Di Ricerca
Settori
SSD old (valido fino al 24/06/2024)
Settore INF/01 - Informatica