Estensioni del Property-based Testing di e con linguaggi di programmazione dichiarativa.

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

Periodo di attività

Marzo 9, 2020 - Marzo 8, 2021

Durata progetto

12 mesi

Aree Di Ricerca

Settori


Settore INF/01 - Informatica