Correctness problem in computer science - Boyer, Robert S. [Ed.]; Moore, J. Strother [Ed.] (London Academic Press, 1981)
Keywords: Computer Programs -- Testing