DMCA

Constraint-based Program Reasoning with Heaps and Separation

Cached

Download Links

by Gregory J. Duck , Joxan Jaffar , Nicolas C. H. Koh
Citations:6 - 1 self