Verifying memory consistency in mCRL2

  • Wessel T.H. Sinnema

Student thesis: Master

Abstract

Date of Award21 Sep 2020
Original languageEnglish
SupervisorJeroen J.A. Keiren (Supervisor 1)

Cite this

'