Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca. Formal Techniques for Java-Like Programs. In Mario Südholt, Charles Consel, editors, Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports. Volume 4379 of Lecture Notes in Computer Science, pages 53-58, Springer, 2006. [doi]
Abstract is missing.