Marshall D. Abrams, Marvin V. Zelkowitz. Striving for correctness. Computers & Security, 14(8):719-738, 1995. [doi]
@article{AbramsZ95,
title = {Striving for correctness},
author = {Marshall D. Abrams and Marvin V. Zelkowitz},
year = {1995},
doi = {10.1016/0167-4048(95)00022-4},
url = {http://dx.doi.org/10.1016/0167-4048(95)00022-4},
researchr = {https://researchr.org/publication/AbramsZ95},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {14},
number = {8},
pages = {719-738},
}