![]() | ![]() |
2001 | ||
---|---|---|
4 | EE | Jonathan Hammond, Rosamund Rawlings, Anthony Hall: Will It Work? RE 2001: 102-109 |
2000 | ||
3 | 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 | ||
2 | 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 |
1994 | ||
1 | Jonathan Hammond: Producing Z Specifications from Object-Oriented Analysis. Z User Workshop 1994: 316-336 |
1 | Roderick Chapman | [2] [3] |
2 | Anthony Hall | [4] |
3 | Steve King | [2] [3] |
4 | Andy Pryor | [2] [3] |
5 | Rosamund Rawlings | [4] |