Static Checkers for Tree Structures and Heaps

M. Hague

book title	Static Checkers for Tree Structures and Heaps.
school	Imperial College London
year	2004

people	Matthew Hague
themes	Foundations, Logic and Structures