DMCA

Decidable logics combining heap structures and data (2011)

by P. Madhusudan , Gennaro Parlato , Xiaokang Qiu
Venue:IN: POPL’11
Citations:26 - 9 self