WilsonMKF96'

@inproceedings{DBLP:conf/ecbs/WilsonMKF96,
  author    = {Stephen P. Wilson and
               John A. McDermid and
               P. M. Kirkham and
               Peter Fenelon},
  title     = {The Safety Argument Manager: An Integrated Approach to the
               Engineering and Safety Assessment of Computer Based Systems},
  booktitle = {ECBS},
  year      = {1996},
  pages     = {198-205},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494529},
  crossref  = {DBLP:conf/ecbs/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecbs/1996,
  title     = {IEEE Symposium and Workshop on Engineering of Computer Based
               Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany},
  booktitle = {ECBS},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}