Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs - Banerjee, Anindya (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Software Engineering; ACM Special Interest Group on Programming Languages (ACM, 2009)