"JayHorn: A Java Model Checker - (Competition Contribution)."

Temesghen Kahsai, Philipp Rümmer, Martin Schäf (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics