"Static analysis for enforcing intra-thread consistent locks in the ..."

Mariano Ceccato, Paolo Tonella (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics