"Proving Absence of Starvation by Means of Abstract Interpretation and ..."

Helmut Seidl, Ralf Vogler (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics