Towards Session Type based Verification of Distributed Middleware Systems
People
(Responsible)
Additional information
Start date
01.01.2022
End date
31.12.2022
Duration
12 Months
Funding sources
Status
Ended
Category
Competitive Foundations /
Hasler Foundation
