SAS 2023Abstract Interpretation in Industry - Experience and Lessons LearnedDaniel Kästner, Reinhard Wilhelm, Christian FerdinandDOI 10.1007/978-3-031-44245-2_2dblpBibTeXNo abstract available.