"Static Analysis by Abstract Interpretation of the Functional Correctness ..."

Matthieu Journault, Antoine Miné (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics