Mehdi Bouaziz

Inference of Necessary Field Conditions with Abstract Interpretation

10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japon. 12 décembre 2012

Dernière mise à jour : 23 novembre 2013