Modular verification of software components in C (2004)

by S Chaki, E Clarke, A Groce, S Jha, H Veith
Venue:IEEE Transactions on Software Engineering (TSE