Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer. CCured in the real world. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. pages 232-244, ACM, 2003. [doi]
Abstract is missing.