Machine-Checked Proofs of the Design and Implementation of a Fault-Tolerant Circuit

Bok av National Aeronautics And Space Adm Nasa