Jonathan Hammond

According to our database¹, Jonathan Hammond authored at least 5 papers between 1994 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2018

ABZ Languages and Tools in Industrial-Scale Application.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2001

Will It Work?

[BibT_eX]

[DOI]

Jonathan Hammond

Rosamund Rawlings

Anthony Hall

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

Is Proof More Cost-Effective Than Testing?

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

1999

The Value of Verification: Positive Experience of Industrial Proof.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1994

Producing Z Specifications from Object-Oriented Analysis.

[BibT_eX]

[DOI]

Jonathan Hammond

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Jonathan Hammond

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...