Mehdi Bouaziz
CodeContracts & Clousot
Course on Abstract Interpretation, École normale supérieure de l'Est de la Chine, Shanghai, Chine. 26 novembre 2013
- @misc{Bouaziz-ECNU13-talk,
author = {Bouaziz, Mehdi},
title = {CodeContracts & Clousot},
year = {2013},
month = {November},
institution = {East China Normal University},
address = {Shanghai, China},
note = {Course on Abstract Interpretation}
}
Dernière mise à jour : 24 janvier 2014