Sciweavers

FMCAD
2009
Springer

Verification of recursive methods on tree-like data structures

14 years 5 months ago
Verification of recursive methods on tree-like data structures
Jyotirmoy V. Deshmukh, E. Allen Emerson
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMCAD
Authors Jyotirmoy V. Deshmukh, E. Allen Emerson
Comments (0)