1997'

BibTeX

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