Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt. Verifying Object-Oriented Programs with KeY: A Tutorial. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Volume 4709 of Lecture Notes in Computer Science, pages 70-101, Springer, 2006. [doi]
Abstract is missing.