Formal Techniques for Java Programs

Bart Jacobs 0002, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter. Formal Techniques for Java Programs. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 97-115, Springer, 1999. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: