Mehdi Bouaziz

TreeKs: A Functor to Make Numerical Abstract Domains Scalable

MSR Interns 7-minute talks, Microsoft Research, Redmond, WA, États-Unis. 7 juillet 2011

Dernière mise à jour : 23 novembre 2013