"Static Analysis Via Abstract Interpretation of the Happens-Before Memory ..."

Pietro Ferrara (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics