"Analysis of Software Patches Using Numerical Abstract Interpretation."

David Delmas, Antoine Miné (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics