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]
@inproceedings{DrossopoulouELPP02,
title = {Formal Techniques for Java-like Programs},
author = {Sophia Drossopoulou and Susan Eisenbach and Gary T. Leavens and Arnd Poetzsch-Heffter and Erik Poll},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2548/25480203.htm},
tags = {Java},
researchr = {https://researchr.org/publication/DrossopoulouELPP02},
cites = {0},
citedby = {0},
pages = {203-210},
booktitle = {Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings},
editor = {Juan Hernández Núñez and Ana M. D. Moreira},
volume = {2548},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00233-2},
}