Andy Pryor

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
Is Proof More Cost-Effective Than Testing? IEEE Trans. Software Eng. 26 (8) (2000)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
The Value of Verification: Positive Experience of Industrial Proof. World Congress on Formal Methods (1999)