Static Checkers for Tree Structures and Heaps. / Hague, Matthew.

2004.

Research output: ThesisMaster's Thesis

Published
Original languageEnglish
Awarding Institution
  • Imperial College London
Supervisors/Advisors
  • Gardner, Philippa, Supervisor, External person
Award date1 Jul 2004
Publication statusPublished - 2004

ID: 15219762