23
February
2023
Verifiability Talk 47: Noboko Yoshida
Title: Multiparty Session Types: Specification-Guided Concurrent and Distributed Programming
Speaker: Noboko Yoshida
Date: 23.02.2023
Time: 16:00 – 17:00 (GMT)
Link (Teams): https://bit.ly/specguided