Persona

Ricerca finanziata (5)

Logiche non classiche nella specificazione e verifica dei programmi 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
Metodi di prova orientati al ragionamento automatico per logiche non-classiche 
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2018
12 mesi
Tecniche logiche nella specifica e verifica formale di sistemi 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2008
Tecniche logiche nella specifica e verifica formale di sistemi. 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
No Results Found

Pubblicazioni (62)

Collegi di dottorato (13)

Università degli Studi di MILANO - INFORMATICA-2020 (ciclo: 36 - Anno: 2020 )
Università degli Studi di MILANO - INFORMATICA-2019 (ciclo: 35 - Anno: 2019 )
Università degli Studi di MILANO - INFORMATICA-2018 (ciclo: 34 - Anno: 2018 )
Università degli Studi di MILANO - INFORMATICA-2017 (ciclo: 33 - Anno: 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (ciclo: 32 - Anno: 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (ciclo: 31 - Anno: 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (ciclo: 30 - Anno: 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (ciclo: 29 - Anno: 2013 )
Università degli Studi di MILANO - INFORMATICA-2012 (ciclo: 28 - Anno: 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 )
No Results Found