Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2020, Virtual, USA, 17 November 2020

Liqian Chen Khalil Ghorbal Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2020, Virtual, USA, 17 November 2020 NSAD@SAS ACM 2020 978-1-4503-8187-1 https://doi.org/10.1145/3427762 db/conf/nsad/nsad2020.html