English version

Francesco Logozzo et 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. 28 juin 2013

PDF, 42 pages, 634 Ko
@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}
}

Dernière mise à jour : 24 janvier 2014