Newtonian program analysis (0)

by J Esparza, S Kiefer, M Luttenberger
Venue:Journal of the ACM