The Checking of Computer Logic by Simulation on a Computer

Meir M. Lehman, Rayna Eshed, Z. Netter. The Checking of Computer Logic by Simulation on a Computer. Comput. J., 6(2):154-162, 1963. [doi]

Abstract

Abstract is missing.