Nancy G. Leveson
Evaluation of Software Safety
ICSE, 1990.
@inproceedings{ICSE-1990-Leveson, acmid = "100327", author = "Nancy G. Leveson", booktitle = "{Proceedings of the 12th International Conference on Software Engineering}", editor = "François-Régis Valette and Peter A. Freeman and Marie-Claude Gaudel", isbn = "0-8186-2026-9", pages = "223--224", publisher = "{IEEE Computer Society}", title = "{Evaluation of Software Safety}", year = 1990, }