The Checking of Computer Logic by Simulation on a Computer

• 1 August 1963
• journal article
• Published by Oxford University Press (OUP) in The Computer Journal
• Vol. 6  (2) , 154-162
• https://doi.org/10.1093/comjnl/6.2.154

Abstract