Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
Modular Verification of Software Components in C
ICSE, 2003.
@inproceedings{ICSE-2003-ChakiCGJV, author = "Sagar Chaki and Edmund M. Clarke and Alex Groce and Somesh Jha and Helmut Veith", booktitle = "{Proceedings of the 25th International Conference on Software Engineering}", editor = "Lori A. Clarke and Laurie Dillon and Walter F. Tichy", ee = "http://computer.org/proceedings/icse/1877/18770385abs.htm", pages = "385--395", publisher = "{IEEE Computer Society}", title = "{Modular Verification of Software Components in C}", year = 2003, }