@inproceedings{DBLP:conf/ecoopw/LeavensDEPP01,
author = {Gary T. Leavens and
Sophia Drossopoulou and
Susan Eisenbach and
Arnd Poetzsch-Heffter and
Erik Poll},
title = {Formal Techniques for Java Programs},
booktitle = {ECOOP Workshops},
year = {2001},
pages = {30-40},
ee = {http://dx.doi.org/10.1007/3-540-47853-1_3},
crossref = {DBLP:conf/ecoopw/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoopw/2001,
editor = {{\'A}kos Frohner},
title = {Object-Oriented Technology ECOOP 2001 Workshop Reader, ECOOP
2001 Workshops, Panel, and Posters, Budapest, Hungary, June
18-22, 2001, Proceedings},
booktitle = {ECOOP Workshops},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2323},
year = {2002},
isbn = {3-540-43675-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-10-19 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
