Ricerca di contatti, progetti,
corsi e pubblicazioni

Towards Session Type based Verification of Distributed Middleware Systems

Persone

 

Eugster P. T.

(Responsabile)

Informazioni aggiuntive

Data d'inizio
01.01.2022
Data di fine
31.12.2022
Durata
12 Mesi
Enti finanziatori
Stato
Concluso
Categoria
Competitive Foundations / Hasler Foundation