Title: Software reliability determination for conventional and logic programming
First published: 1995
Subjects: Reliability, Computer software, Computer software, reliability
LC classification: QA76.76.R44 A93 1995