Modular Verification of Software Components in C (bibtex)
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}
}
Powered by bibtexbrowser