Systematic Evaluation of (Safety) Assurance Cases.

Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford

Browse the full SAFECOMP paper archive.