"Re: I have a question about proving code correctness" Friday, January 20, 2012 .NET Advanced .NET General Software Development LLBLGen Pro Software Engineering 6 Comments Recently I received an email with the following contents: Read more...