Proving programs robust. (0)

by S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour
Venue:In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, FSE 2011,