Symbolic Program Analysis Using Term Rewriting and Generalization.

Nishant Sinha

Browse the full FMCAD paper archive.