Bernhard Beckert, Andreas Bremer, Alexander Weigl. Timed Contract Automata. In Elvira Albert, Corina S. Pasareanu, editors, Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Volume 16504 of Lecture Notes in Computer Science, pages 392-411, Springer, 2026. [doi]
Abstract is missing.