Model checking the ATerm library

  • J.M.A.M. Gabriels

Scriptie/Masterproef: Master

Datum prijs31 jan 2008
Originele taalEngels
BegeleiderMark G.J. van den Brand (Afstudeerdocent 1) & J.C. van de Pol (Afstudeerdocent 2)

Citeer dit

'