The bug-free myth: Why we trust verified softwarehttp://www.plsadventures.com/2009/10/any-time-there-is-discussion-of-formal.html by gdp • 17 years ago 1 0 17 years agoPLplsadventures.com