Sciweavers

FMCAD
2008
Springer

Symbolic Program Analysis Using Term Rewriting and Generalization

14 years 1 months ago
Symbolic Program Analysis Using Term Rewriting and Generalization
Nishant Sinha
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCAD
Authors Nishant Sinha
Comments (0)