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 VeithIEEE Trans. Software Eng., volume 30, number 6, pages 388-402, 2004.
Bibtex Entry:
@article{DBLP:journals/tse/ChakiCGJV04,
  author = {Sagar Chaki and Edmund M. Clarke and Alex Groce and Somesh Jha and   Helmut Veith},
  title = {Modular Verification of Software Components in C},
  number = {6},
  year = {2004},
  journal = {IEEE Trans. Software Eng.},
  pages = {388--402},
  volume = {30},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.22}
}
Powered by bibtexbrowser