Constraint-based program reasoning with heaps and separation (0)

by G J Duck, J Jaffar, N C H Koh
Venue:of Lecture