Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel 0002. Formal Specification with the Java Modeling Language. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, editors, Deductive Software Verification - The KeY Book - From Theory to Practice. Volume 10001 of Lecture Notes in Computer Science, pages 193-241, Springer, 2016. [doi]
Abstract is missing.