Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer. Verifying traits: a proof system for fine-grained reuse. In Stephen N. Freund, editor, Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM, 2011. [doi]
Abstract is missing.