Quotient for Assume-Guarantee Contracts.

igo ncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang

Browse the full MEMOCODE paper archive.