Software quality with Code Contracts and PEX - CodeCamp16oct2010
Automatic Verification of Computer Programs