CCured: Type-Safe Retrofitting of Legacy Software (2005)

by George C. Necula , Jeremy Condit , Matthew Harren , Scott Mcpeak , Westley Weimer
Venue:ACM Transactions on Programming Languages and Systems
Citations:112 - 9 self