Yannick Welsch, Arnd Poetzsch-Heffter. Verifying backwards compatibility of object-oriented libraries using Boogie. In Wei-Ngan Chin, Aquinas Hobor, editors, Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012. pages 35-41, ACM, 2012. [doi]
Abstract is missing.