William D. Young
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The Proof of Correctness of a Fault-Tolerant Circuit Design
William R. Bevier and others (1992) · Dependable computing and fault-tolerant systems · Springer Vienna
Machine-checked proofs of the design and implementation of a fault-tolerant circuit
William R. Bevier and others (1990)
An approach to systems verification
William R. Bevier and others (1989) · Journal of Automated Reasoning · Springer Science+Business Media