Mehdi Bouaziz

TreeKs: A Functor to Make Numerical Abstract Domains Scalable

in 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Elsevier, September 17, 2012

Last update: November 23, 2013