|
Search the dblp DataBase
Jonathan Hammond:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
The Value of Verification: Positive Experience of Industrial Proof. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:1527-1545 [Conf]
- Jonathan Hammond, Rosamund Rawlings, Anthony Hall
Will It Work? [Citation Graph (0, 0)][DBLP] RE, 2001, pp:102-109 [Conf]
- Jonathan Hammond
Producing Z Specifications from Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP] Z User Workshop, 1994, pp:316-336 [Conf]
- Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
Is Proof More Cost-Effective Than Testing? [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2000, v:26, n:8, pp:675-686 [Journal]
Search in 0.001secs, Finished in 0.001secs
|