Professore ordinario
Dipartimento di Informatica - Scienza e Ingegneria
Settore scientifico disciplinare: INFO-01/A Informatica
Parole chiave: Sistemi di tipo Tipi comportamentali Sistemi concorrenti e distribuiti Algebre di processi Verifica formale del software
Al momento non sono presenti avvisi.
Accedi tramite login per gestire tutti i contenuti del sito.