"A Two-Phase Static Analysis for Reliable Adaptation."

Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics