Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall. Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software, 8(4):48-59, 1991.
@article{LevesonCS91,
title = {Safety Verification of Ada Programs Using Software Fault Trees},
author = {Nancy G. Leveson and Stephen S. Cha and Timothy J. Shimeall},
year = {1991},
tags = {program verification},
researchr = {https://researchr.org/publication/LevesonCS91},
cites = {0},
citedby = {0},
journal = {IEEE Software},
volume = {8},
number = {4},
pages = {48-59},
}