Mehdi Bouaziz
CodeContracts & Clousot
Course on Abstract Interpretation, East China Normal University, Shanghai, China. November 26, 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}
}
Last update: January 24, 2014