Mehdi Bouaziz
Some Improvements to CodeContracts
End of internship talk, Microsoft Research, Redmond, WA, USA. November 3, 2011
- PDF, 10 pages, 291 KB
- @misc{BouazizLogozzo-MSR11-talk,
author = {Bouaziz, Mehdi},
title = {Some Improvements to CodeContracts},
year = {2011},
month = {November},
institution = {Microsoft Research},
address = {Redmond, WA, USA},
note = {End of internship talk},
url = {http://www.bouaziz.me/p/BouazizLogozzo-MSR11-slides.pdf}
}
Last update: January 24, 2014