Retrofitting Legacy Code for Security

Somesh Jha. Retrofitting Legacy Code for Security. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 19, Springer, 2010. [doi]

Authors

Somesh Jha

This author has not been identified. Look up 'Somesh Jha' in Google