| |
| 2000 | ||
|---|---|---|
| 2 | EE | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor: Is Proof More Cost-Effective Than Testing? IEEE Trans. Software Eng. 26(8): 675-686 (2000) |
| 1999 | ||
| 1 | EE | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor: The Value of Verification: Positive Experience of Industrial Proof. World Congress on Formal Methods 1999: 1527-1545 |
| 1 | Roderick Chapman | [1] [2] |
| 2 | Jonathan Hammond | [1] [2] |
| 3 | Steve King | [1] [2] |