伊莎贝拉·马斯特罗埃尼;达米亚诺·扎纳尔迪尼 抽象程序切片：一种基于抽象解释的程序切片方法。 （英语） Zbl 1367.68070号 ACM事务处理。计算。日志。 18，第1号，第7条，58 p.（2017）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{D.Zanardini}，ACM Trans。计算。日志。18，第1号，第7条，58页（2017年；Zbl 1367.68070） 全文： 内政部 arXiv公司
乔达里，Dipak L。;Om达马尼 通过注释程序进行假设传播。 （英语） Zbl 1362.68043号 正式Asp。计算。 29，第3期，495-530（2017）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chaudhari}和\textit{O.Damani}，正式Asp。计算。29，编号3，495-530（2017；兹bl 1362.68043） 全文： 内政部
克雷伯斯，罗伯特;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 高阶并发分离逻辑的本质。 （英语） Zbl 1485.68069号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 696-723 (2017).MSC公司：68号30 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers}等人，Lect。注释计算。科学。10201，696-723（2017年；兹比尔1485.68069） 全文： 内政部 哈尔
埃夫拉德，雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码，这些进程通过多路汇聚进行交互。 （英语） Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司：68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang}，J.Log。阿尔盖布。方法计划。88、121--153（2017年；Zbl 1362.68038） 全文： 内政部 哈尔