Formal Techniques for Java-like Programs

Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll. Formal Techniques for Java-like Programs. In Juan Hernández Núñez, Ana M. D. Moreira, editors, Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings. Volume 2548 of Lecture Notes in Computer Science, pages 203-210, Springer, 2002. [doi]

Abstract

Abstract is missing.