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 × France
Collaborated with:
S.King J.Hammond R.Chapman
Talks about:
industri (1) experi (1) verif (1) proof (1) posit (1) valu (1)

Person: Andy Pryor

DBLP DBLP: Pryor:Andy

Contributed to:

World Congress on Formal Methods 19991999

Wrote 1 papers:

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.