Model checking protocol implementations: A new adaptation-based approach

  • F. Slob

Student thesis: Master's Thesis

Abstract

Date of Award13 Mar 2021
Original languageEnglish
SupervisorSung-Shik Jongmans (Examiner) & Marko van Eekelen (Co-assessor)

Cite this

'