Modular Verification of Software Components in C

Chaki, Sagar; Clarke, Edmund M.; Groce, Alex; Jha, Somesh; Veith, Helmut

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}
}