Principled Construction of Software Safety Cases.

Richard Hawkins, Ibrahim Habli, Tim Kelly

Browse the full SAFECOMP paper archive.