KC Developer Training
KUALI ENTERPRISE WORKFLOW OVERVIEW Eric Westfall.
Symbolic Program Analysis using Term Rewriting and Generalization Nishant Sinha NEC Labs, Princeton, NJ.