CORCON - Correctness by Construction

Tipo di finanziamento: 
Finanziamenti da bandi europei e internazionali/esteri
Date del progetto: 
Dal 1 Gennaio 2014 al 31 Dicembre 2017
Area tematica: 
Matematica
Settore ERC: 
Physical Sciences and Engineering (PE)
Stato del progetto: 
Concluso
Struttura di afferenza: 
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA

Abstract

Per informazioni

Benini Marco

Responsabile Scientifico Uninsubria