BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
Collaborated with:
R.Rawlings A.Hall S.King R.Chapman A.Pryor
Talks about:
industri (1) experi (1) verif (1) proof (1) posit (1) work (1) will (1) valu (1)

Person: Jonathan Hammond

DBLP DBLP: Hammond:Jonathan

Contributed to:

RE 20012001
World Congress on Formal Methods 19991999

Wrote 2 papers:

RE-2001-HammondRH #question
Will It Work? (JH, RR, AH), pp. 102–109.
FM-v2-1999-KingHCP #experience #industrial #proving #verification
The Value of Verification: Positive Experience of Industrial Proof (SK, JH, RC, AP), pp. 1527–1545.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.