| Date of Award | 26 May 2025 |
|---|---|
| Original language | English |
| Supervisor | Anton J. Wijs (Supervisor 1) & Thomas Neele (Supervisor 2) |
Cite this
- Standard
Independence in Incremental Counterexample Construction
Student thesis: Master