John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter. Formal Techniques for Java-Like Programs. In Michael Cebulla, editor, Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports. Volume 4906 of Lecture Notes in Computer Science, pages 99-107, Springer, 2007. [doi]
Abstract is missing.