Modular verification of software components in C (2002)

by S Chaki, E M Clarke, A Groce, S Jha, H Veith
Venue:In ACM Conference on Computer and Communications Security