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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.