DMCA

Automated Stepwise Refinement of Heap-Manipulating Code (2010)

by K. Rustan M. Leino , Kuat Yessenov
Citations:1 - 0 self