Chen, Y.-F.Y.-F.ChenClarke, E.M.E.M.ClarkeFarzan, A.A.FarzanTsai, M.-H.M.-H.TsaiYIH-KUEN TSAYWang, B.-Y.B.-Y.Wang2018-09-102018-09-102010http://www.scopus.com/inward/record.url?eid=2-s2.0-77955003482&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/356141Automated assume-guarantee reasoning through implicit learningbook10.1007/978-3-642-14295-6_44