Joe W. Duran, John J. Wiorkowski. Estimating the correctness of computer programs. Inf. Sci., 26(2):141-153, 1982. [doi]
@article{DuranW82, title = {Estimating the correctness of computer programs}, author = {Joe W. Duran and John J. Wiorkowski}, year = {1982}, doi = {10.1016/0020-0255(82)90038-X}, url = {http://dx.doi.org/10.1016/0020-0255(82)90038-X}, researchr = {https://researchr.org/publication/DuranW82}, cites = {0}, citedby = {0}, journal = {Inf. Sci.}, volume = {26}, number = {2}, pages = {141-153}, }