Static Checkers for Tree Structures and Heaps

Research output: ThesisMaster's Thesis

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

Cite this