Documentation for Safety Critical Software

Pierre-Jacques Courtois, David Lorge Parnas. Documentation for Safety Critical Software. In ICSE. pages 315-323, 1993. [doi]

@inproceedings{CourtoisP93,
  title = {Documentation for Safety Critical Software},
  author = {Pierre-Jacques Courtois and David Lorge Parnas},
  year = {1993},
  url = {http://portal.acm.org/citation.cfm?id=257572.257650},
  researchr = {https://researchr.org/publication/CourtoisP93},
  cites = {0},
  citedby = {0},
  pages = {315-323},
  booktitle = {ICSE},
}