CCured: type-safe retrofitting of legacy software (0)

by George C Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
Venue:ACM Transactions on Programming Languages and Systems