Exceptional situations and program reliability (0)

by Westley Weimer, George C Necula
Venue:ACM Trans. Program. Lang. Syst