Jonathan Hammond

	2001
4		Jonathan Hammond, Rosamund Rawlings, Anthony Hall: Will It Work? RE 2001: 102-109
	2000
3		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		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

Coauthor Index

1	Roderick Chapman	[2] [3]
2	Anthony Hall	[4]
3	Steve King	[2] [3]
4	Andy Pryor	[2] [3]
5	Rosamund Rawlings	[4]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page