José Sánchez, Gary T. Leavens. Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification. In Walter Binder, Eric Bodden, Welf Löwe, editors, Software Composition - 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings. Volume 8088 of Lecture Notes in Computer Science, pages 65-80, Springer, 2013. [doi]
Abstract is missing.