Mehdi Bouaziz

TreeKs: A Functor to Make Numerical Abstract Domains Scalable

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

Dernière mise à jour : 23 novembre 2013