13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011) ECOOP 2011 workshop proceedings : Lancaster, UK, July 26, 2011 / - Freund, Stephen. (ACM,)