Towards Session Type based Verification of Distributed Middleware Systems
Persone
(Responsabile)
Informazioni aggiuntive
Data d'inizio
01.01.2022
Data di fine
31.12.2022
Durata
13 Mesi
Enti finanziatori
Stato
Concluso
Categoria
Foundations /
Competitive Foundations /
Hasler Foundation
