Mehdi Bouaziz
Some Improvements to CodeContracts
Exposé de fin de stage, Microsoft Research, Redmond, WA, États-Unis. 3 novembre 2011
- PDF, 10 pages, 291 Ko
- @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}
}
Dernière mise à jour : 24 janvier 2014