Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk).

Francesco Logozzo

Browse the full VMCAI paper archive.