The bug-free myth: Why we trust verified software(plsadventures.com)
plsadventures.com
The bug-free myth: Why we trust verified software
http://www.plsadventures.com/2009/10/any-time-there-is-discussion-of-formal.html
0 comments
—
http://www.plsadventures.com/2009/10/any-time-there-is-discussion-of-formal.html
—