t.b.a.
Thijs Molendijk
Date: Tue, August 30, 2022
Time: 17:00
Room: Turing 0.E420 / Zoom t.b.a.
Note: This is a MSc thesis defense
Previous:
Olav de Haas | Mechanizing Hoare Style Proof Outlines for Imperative Programs in Agda
Next:
tba | Session: What did you do last Summer