Mehdi Bouaziz

TreeKs: A Functor to Make Numerical Abstract Domains Scalable

4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Deauville, France. September 10, 2012

Last update: November 23, 2013