Static Checkers for Tree Structures and Heaps

Matthew Hague

Research output: Thesis › Master'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