Proceedings of the Acm International Workshop on Formal Techniques for Java-like Programs, Ftfjp Revista