Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic.

Victor Bandur, John Alexander McDermid

Browse the full SAFECOMP paper archive.