"Static analysis via abstract interpretation of multithreaded programs. ..."

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