Title: Software testing for conventional and logic programming
First published: 1996
Subjects: Testing, Computer software
LC classification: QA76.76.T48 J33 1996