id: 70059634
dt: a
an: 70059634
au: Chlipala, Adam
ti: Mostly-automated verification of low-level programs in computational
    separation logic
so: PLDI, 234-245 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1993498.1993526