Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition.

Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli

Browse the full MEMOCODE paper archive.