Vallecillo Antonio

• Cop'17
• Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
• Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs