Person

Funded research (5)

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

Publications (64)

Doctoral Boards (13)

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