Approximations, anomalies and "the proof of correctness wars".

Leona F. Fass Approximations, anomalies and "the proof of correctness wars". 3 2004 29 ACM SIGSOFT Software Engineering Notes 2 http://doi.acm.org/10.1145/979743.979757 db/journals/sigsoft/sigsoft29.html#Fass04