DMCA

Stepwise Refinement of Heap-Manipulating Code in Chalice (2011)

by K. Rustan , M. Leino , Kuat Yessenov