Automated compositional reasoning of intuitionistically closed regular properties

YIH-KUEN TSAYWang, B.-Y.B.-Y.WangIbarra, Oscar H.Oscar H.IbarraRavikumar, BalaBalaRavikumar2018-09-102018-09-102008http://www.scopus.com/inward/record.url?eid=2-s2.0-50249174005&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/338341Automated compositional reasoning of intuitionistically closed regular propertiesbook10.1007/978-3-540-70844-5_5