Striving for correctness

Marshall D. Abrams, Marvin V. Zelkowitz
1995 Computers & security  
doi:10.1016/0167-4048(95)00022-4 fatcat:lyt46v4z25cc5ggp5kwzqn6qpq