BibTeX record conf/hase/JohnsonCHJH98

download as .bib file

@inproceedings{DBLP:conf/hase/JohnsonCHJH98,
  author    = {Gary Johnson and
               John Calvert and
               Kelly J. Hayhurst and
               John Janeri and
               Herbert Hecht},
  title     = {System Requirements and Analysis Issues for High Assurance Systems},
  booktitle = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
               {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages     = {60},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://doi.ieeecomputersociety.org/10.1109/HASE.1998.10001},
  doi       = {10.1109/HASE.1998.10001},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/hase/JohnsonCHJH98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics