Events
Detail
Publication date: 24 de February, 2025Iso-Recursive Multiparty Sessions and their Automated Verification
NOVA LINCS Seminar by Marco Giunti (University of Oxford, England)
19 March 2025, 14h00
Read more
| Date | 19/03/2025 |
|---|
NOVA LINCS Seminar by Marco Giunti (University of Oxford, England)
19 March 2025, 14h00
| Date | 19/03/2025 |
|---|