Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll. Formal Techniques for Java-Like Programs. In Frank Buschmann, Alejandro P. Buchmann, Mariano Cilia, editors, Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports. Volume 3013 of Lecture Notes in Computer Science, pages 62-71, Springer, 2003. [doi]
Abstract is missing.