Mehdi Bouaziz

TreeKs: A Functor to Make Numerical Abstract Domains Scalable

MSR Interns 7-minute talks, Microsoft Research, Redmond, WA, USA. July 7, 2011

Last update: November 23, 2013