"Extended static checking in JML4: benefits of multiple-prover support."

Perry R. James, Patrice Chalin (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics