Modular Verification of Software Components in C. (2003)

by S Chaki, E M Clarke, A Groce, S Jha, H Veith
Venue:In Proceedings of the International Conference on Software Engineering (ICSE’03),