Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca. Formal Techniques for Java-Like Programs. In Mario Südholt, Charles Consel, editors, Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports. Volume 4379 of Lecture Notes in Computer Science, pages 53-58, Springer, 2006. [doi]
@inproceedings{AnconaDILPZ06,
title = {Formal Techniques for Java-Like Programs},
author = {Davide Ancona and Sophia Drossopoulou and Atsushi Igarashi and Gary T. Leavens and Arnd Poetzsch-Heffter and Elena Zucca},
year = {2006},
doi = {10.1007/978-3-540-71774-4_6},
url = {http://dx.doi.org/10.1007/978-3-540-71774-4_6},
tags = {Java},
researchr = {https://researchr.org/publication/AnconaDILPZ06},
cites = {0},
citedby = {0},
pages = {53-58},
booktitle = {Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
editor = {Mario Südholt and Charles Consel},
volume = {4379},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-71772-0},
}