Tracechecks: Defining Semantic Interfaces with Temporal Logic

Eric Bodden, Volker Stolz. Tracechecks: Defining Semantic Interfaces with Temporal Logic. In Welf Löwe, Mario Südholt, editors, Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Volume 4089 of Lecture Notes in Computer Science, pages 147-162, Springer, 2006. [doi]

Abstract

Abstract is missing.