Rob Weaver, Jane Fenn, Tim Kelly. A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. In Peter A. Lindsay, Anthony Cant, editors, Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. Volume 33 of CRPIT, pages 57-67, Australian Computer Society, 2003. [doi]
Abstract is missing.