Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.

Antoine Min

Browse the full VMCAI paper archive.