"Improving the Precision of Abstract Interpretation Based Cache Persistence ..."

Zhenkai Zhang, Xenofon D. Koutsoukos (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics