Evaluating the effectiveness of software verification

• 1 January 1972
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 181-190
• https://doi.org/10.1145/1479992.1480017

Abstract