Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs 0002, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter. Formal Techniques for Java Programs. In Jacques Malenfant, Sabine Moisan, Ana M. D. Moreira, editors, Object-Oriented Technology, ECOOP 2000 Workshops, Panels, and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings. Volume 1964 of Lecture Notes in Computer Science, pages 41-54, Springer, 2000. [doi]
Abstract is missing.