| Date of Award | 21 Aug 2025 |
|---|---|
| Original language | English |
| Supervisor | Jeroen J.A. Keiren (Supervisor 1) & J.H. (Herman) Geuvers (Supervisor 2) |
Cite this
- Standard
Machine-Checked Runtime Proof of an Algorithm for Bisimilarity
Student thesis: Master