Seven more myths of formal methods

J.P. Bowen, M.G. Hinchey
1995 IEEE Software  
doi:10.1109/52.391826 fatcat:wc2dm4rpmzar7mr2rfvgphh3bi