NSAD2019: WORKSHOP ON NUMERICAL AND SYMBOLIC ABSTRACT DOMAINS, 2019
SLIDES