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]
No references recorded for this publication.
No citations of this publication recorded.