"RV-Match: Practical Semantics-Based Program Analysis."

Dwight Guth et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics