Richard D. Eldred
Richard D. Eldred.
Test routines based on symbolic logical statements.
Journal of the ACM
, 6(1):33-37, January 1959.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database