A Practical Construction for Decomposing Numerical Abstract Domains

Published in ACM POPL, 2018

Recommended citation: Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2018. /files/popl2018.pdf