TY  - RPRT
TI  - Towards a Formal Basis for Modular Safety Cases
AU  - Denney, Ewen
AU  - Pai, Ganesh
PY  - 2015
UR  - https://ntrs.nasa.gov/citations/20160001261
ID  - 20160001261
ER  -