Statistics
Publications
2
Citations
95
H-Index
2
Active since
1987
Affiliations
BT Group (United Kingdom)(Current)
David H. Pitt is an author at BT Group (United Kingdom) specializing in deductive verification, specification conformance, and protocol compliance.
Publications per year
1987–1990
2
2
Object-oriented subsystem specification
Steve Schuman, David H. Pitt · 1987 · 49 citations
1–2 of 2