"JPF verification of habanero Java programs."

Peter Anderson, Brandon Chase, Eric Mercer (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics