Composition and Merging of Assume-Guarantee Contracts Are Tensor Products.

Inigo Incer

Browse the full ISoLA paper archive.