Romeo, ??igo ?ncer??igo ?ncerRomeoSangiovanni-Vincentelli, Alberto L.Alberto L.Sangiovanni-VincentelliLin, Chung-WeiChung-WeiLinKang, EunsukEunsukKangCHUNG-WEI LIN2020-05-042020-05-042018https://scholars.lib.ntu.edu.tw/handle/123456789/488114Quotient for Assume-Guarantee Contracts.conference paper10.1109/MEMCOD.2018.8556872https://doi.org/10.1109/MEMCOD.2018.8556872