Towards a Formal Basis for Modular Safety Cases.

Ewen Denney, Ganesh J. Pai

Browse the full SAFECOMP paper archive.