Date of Award | 13 Mar 2021 |
---|---|
Original language | English |
Supervisor | Sung-Shik Jongmans (Examiner) & Marko van Eekelen (Co-assessor) |
Model checking protocol implementations: A new adaptation-based approach
Student thesis: Master's Thesis