CCured: Type-Safe Retrofitting of Legacy Code (2002)

by George C. Necula , Scott McPeak , Westley Weimer
Venue:PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:324 - 9 self