Is Certified Software Actually Correct? Download pdf Tags: Presentation Meeting #7 Submitted by Paul Joannou on Thu, 08/11/2011 - 12:58