Model checking the ATerm library

  • J.M.A.M. Gabriels

Student thesis: Master

Abstract

Date of Award31 Jan 2008
Original languageEnglish
SupervisorMark G.J. van den Brand (Supervisor 1) & J.C. van de Pol (Supervisor 2)

Cite this

'