Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (2015) - Comments
doi: 10.1145/2786536.2786538 

---

Joana Campos, Vasco T. Vasconcelos