Modular verification of software components in C (2003)

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