Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli. Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition. In Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. pages 47-56, ACM, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.