BibTeX record conf/setp/SalamahGO08

download as .bib file

@inproceedings{DBLP:conf/setp/SalamahGO08,
  author    = {Salamah Salamah and
               Irbis Gallegos and
               Omar Ochoa},
  editor    = {M. A. Karim Sadiq and
               Haiping Xu and
               Jaroslav Zendulka and
               Adegboyega K. Ojo},
  title     = {A Novel Approach for Software Property Validation},
  booktitle = {International Conference on Software Engineering Theory and Practice,
               SETP-08, Orlando, Florida, USA, July 7-10, 2008},
  pages     = {173--178},
  publisher = {{ISRST}},
  year      = {2008},
  timestamp = {Fri, 15 Aug 2008 13:42:41 +0200},
  biburl    = {https://dblp.org/rec/conf/setp/SalamahGO08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics