Modal Mu-Calculus for Free
Ivan Todorov
Date: Fri, June 28, 2024
Time: 10:00
Room: Building 23 - KG 02.110 Colloquium
Note: This is a MSc thesis defense
Previous:
Willem Stuijt Giacaman | Can LSP Handle Dependent Types?
Next:
| Model checking the XMM memory model