大卫·萨南;赵永旺;侯哲;张福源;Tiu,Alwen先生;刘,杨 CSimpl:用于验证并发程序的基于可靠保证的框架。 (英语) Zbl 1452.68053号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日,第23届国际会议,TACAS 2017,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2017,瑞典乌普萨拉。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 481-498 (2017).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Sanán}等人,Lect。注释计算。科学。10205481--498(2017;Zbl 1452.68053) 全文: 内政部 链接
Hóu,Zhé;大卫·萨南;Tiu,Alwen先生;刘,杨 分离逻辑中断言的证明策略。 (英语) Zbl 1483.03004号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 285-303 (2017).MSC公司:03B35型 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hóu}等人,Lect。注释计算。科学。10499,285--303(2017;Zbl 1483.03004) 全文: 内政部 链接