CCured: type-safe retrofitting of legacy software.

Published in: ACM Trans. Program. Lang. Syst. (2005)

Keyphrases