Two Decades of Assurance Case Tools: A Survey.

Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik

Browse the full SAFECOMP paper archive.