Konrad Zuse
-
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers