A proof system for object oriented programming using separation logic

  • R. Middelkoop

Student thesis: Master

Abstract

Date of Award30 Nov 2003
Original languageEnglish
SupervisorCornelis (Kees) Huizing (Supervisor 1) & Ruurd Kuiper (Supervisor 2)

Cite this

A proof system for object oriented programming using separation logic
Middelkoop, R. (Author). 30 Nov 2003

Student thesis: Master