"JKelloy: A Proof Assistant for Relational Specifications of Java Programs."

Aboubakr Achraf El Ghazi et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics