Vladimir Klebanov, editor, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. ACM, 2016. [doi]
Conference: ECOOP2016
@proceedings{ecoop-2016ftfjp,
title = {Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
year = {2016},
doi = {10.1145/2955811},
url = {http://doi.acm.org/10.1145/2955811},
researchr = {https://researchr.org/publication/ecoop-2016ftfjp},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
conference = {ECOOP},
editor = {Vladimir Klebanov},
publisher = {ACM},
isbn = {978-1-4503-4439-5},
}