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