"Dynamic Logic for Java."

Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics