by Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
Reference:
Modular Verification of Software Components in CSagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut VeithProceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pages 385–395, 2003, IEEE Computer Society.
Bibtex Entry:
@inproceedings{DBLP:conf/icse/ChakiCGJV03,
author = {Sagar Chaki and Edmund M. Clarke and Alex Groce and Somesh Jha and Helmut Veith},
title = {Modular Verification of Software Components in C},
year = {2003},
booktitle = {Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA},
pages = {385--395},
publisher = {IEEE Computer Society},
url = {http://computer.org/proceedings/icse/1877/18770385abs.htm}
}