Modular verification of software components in C (0)

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