P. Allen Currit, Michael G. Dyer, Harlan D. Mills. Certifying the Reliability of Software. IEEE Trans. Software Eng., 12(1):3-11, 1986.
@article{CurritDM86,
title = {Certifying the Reliability of Software},
author = {P. Allen Currit and Michael G. Dyer and Harlan D. Mills},
year = {1986},
tags = {reliability},
researchr = {https://researchr.org/publication/CurritDM86},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {12},
number = {1},
pages = {3-11},
}