Test Routines Based on Symbolic Logical Statements

• 1 January 1959
• journal article
• Published by Association for Computing Machinery (ACM) in Journal of the ACM
• Vol. 6  (1) , 33-37
• https://doi.org/10.1145/320954.320957

Abstract