Quotient for Assume-Guarantee Contracts.

Journal

16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018

Pages

67-77

Date Issued

2018

Author(s)

Romeo, ??igo ?ncer

Sangiovanni-Vincentelli, Alberto L.

Lin, Chung-Wei

Kang, Eunsuk

DOI

URI

URL

Type

conference paper