id: 70203005
dt: a
an: 70203005
au: Deshmukh, Jyotirmoy V.; Emerson, E. Allen
ti: Verification of recursive methods on tree-like data structures
so: FMCAD, 33-40 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/FMCAD.2009.5351144