Abstract
| Date of Award | 21 Sep 2020 |
|---|---|
| Original language | English |
| Supervisor | Jeroen J.A. Keiren (Supervisor 1) |
Verifying memory consistency in mCRL2
Student thesis: Master
Student thesis: Master
| Date of Award | 21 Sep 2020 |
|---|---|
| Original language | English |
| Supervisor | Jeroen J.A. Keiren (Supervisor 1) |