Version française

Francesco Logozzo and Mehdi Bouaziz

Spécification et vérification de programmes avec CodeContracts

2^e Forum méthodes formelles (FMF 2013), Laboratoire d'Analyse et d'Architecture des Systèmes, Toulouse, France. June 28, 2013

PDF, 42 pages, 634 KB
@misc{LogozzoBouaziz-FMF2-talk,
  author = {Francesco Logozzo and Bouaziz, Mehdi},
  title = {Spécification et vérification de programmes avec CodeContracts},
  year = {2013},
  month = {June},
  booktitle = {2e Forum méthodes formelles (FMF 2013)},
  institution = {Laboratoire d'Analyse et d'Architecture des Systèmes},
  url = {http://www.bouaziz.me/p/LogozzoBouaziz-FMF2-slides.pdf}
}

Last update: January 24, 2014