DBLP Record 'conf/hase/HechtHW97'

BibTeX

@inproceedings{DBLP:conf/hase/HechtHW97,
  author    = {Herbert Hecht and
               Myron Hecht and
               Dolores R. Wallace},
  title     = {Toward More Effective Testing for High-Assurance Systems},
  booktitle = {HASE},
  year      = {1997},
  pages     = {176-181},
  ee        = {http://dlib2.computer.org/conferen/hase/7971/pdf/79710176.pdf},
  crossref  = {DBLP:conf/hase/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/hase/1997,
  title     = {2nd High-Assurance Systems Engineering Workshop (HASE '97),
               August 11-12, 1997, Washington, DC, USA, Proceedings},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-7971-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}