Francesco Logozzo and Mehdi Bouaziz
Spécification et vérification de programmes avec CodeContracts
2e 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