TY  - RPRT
TI  - Formal Foundations for Hierarchical Safety Cases
AU  - Denney, Ewen
AU  - Pai, Ganesh
AU  - Whiteside, Iain
PY  - 2015
UR  - https://ntrs.nasa.gov/citations/20160002416
ID  - 20160002416
ER  -