Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014

David J. Pearce, editor, Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM, 2014. [doi]

Conference: ECOOP2014

@proceedings{ecoop-2014ftfjp,
  title = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
  year = {2014},
  doi = {10.1145/2635631},
  url = {http://doi.acm.org/10.1145/2635631},
  researchr = {https://researchr.org/publication/ecoop-2014ftfjp},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
  conference = {ECOOP},
  editor = {David J. Pearce},
  publisher = {ACM},
  isbn = {978-1-4503-2866-1},
}