Model checking the ATerm library

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

Documenten

  • full text

    Bestand: application/pdf, 710 KB

    Type: Scriptie

'