Skip to Main Content (Press Enter)
×
Home
People
Projects
Fields
Units
Outputs
Third Mission
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
People
Projects
Fields
Units
Outputs
Third Mission
☰
Projects
Estensioni del Property-based Testing di e con linguaggi di programmazione dichiarativa.
Project
Overview
Research Areas
Overview
Contributors
MOMIGLIANO ALBERTO DAVIDE ADOLFO
Scientific Manager
Departments involved
Dipartimento di Informatica Giovanni Degli Antoni
Principale
Type
AL_RIC - Bandi da altri enti di ricerca
Funder
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
External Organization
Funding Organization
Date/time interval
March 9, 2020 - March 8, 2021
Project duration
12 months
Research Areas
Concepts
Old Academic field (valid till 24/06/2024)
Settore INF/01 - Informatica
