BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Israel
Collaborated with:
A.L.Turk S.T.Probst
Talks about:
procedur (1) process (1) chemic (1) verif (1) test (1) leak (1)

Person: Gary J. Powers

DBLP DBLP: Powers:Gary_J=

Contributed to:

CAV 19971997

Wrote 1 papers:

CAV-1997-TurkPP #process #testing #verification
Verification of a Chemical Process Leak Test Procedure (ALT, STP, GJP), pp. 84–94.

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.