TY  - RPRT
TI  - Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
AU  - Inigo Incer
PY  - 2024
DO  - 10.1007/978-3-031-75380-0_18
UR  - https://arxiv.org/abs/2405.06052
ID  - 2405.06052
ER  -