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 |
Next: