A proof system for object oriented programming using separation logic

  • R. Middelkoop

Scriptie/Masterproef: Master

Datum prijs30 nov. 2003
Originele taalEngels
BegeleiderCornelis (Kees) Huizing (Afstudeerdocent 1) & Ruurd Kuiper (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 2,81 MB

    Type: Scriptie

'