Continuity and robustness s of programs (0)

by S Chaudhuri, S Gulwani, R Lublinerman
Venue:Commun. ACM