| |
| 2005 | ||
|---|---|---|
| 2 | EE | Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid: Combining software evidence: arguments and assurance. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 2003 | ||
| 1 | EE | Rob Weaver, Jane Fenn, Tim Kelly: A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. SCS 2003: 57-67 |
| 1 | Georgios Despotou | [2] |
| 2 | Jane Fenn | [1] |
| 3 | Tim Kelly (Tim P. Kelly) | [1] [2] |
| 4 | John A. McDermid | [2] |