弗莱明·尼尔森;尼尔森、汉内·里斯 保护受保护的命令。 （英语） Zbl 1440.68036号 Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12065, 201-215 (2020).MSC公司：68平方米25 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森，莱克特。注释计算。科学。12065，201-215（2020；Zbl 1440.68036） 全文： 内政部
De Nicola，罗科;Gianluigi法拉利;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 特定于域的分布式系统工程的正式方法。 （英语） Zbl 1494.68022号 J.日志。阿尔盖布。方法计划。 111，文章ID 100511，37 p.（2020）.MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，J.Log。阿尔盖布。方法程序。111，文章ID 100511，第37页（2020；Zbl 1494.68022） 全文： 内政部 arXiv公司
李锡盟;吴熙;阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯 数据库的协调语言。 （英语） Zbl 1398.68124号 日志。方法计算。科学。 13，第1号，第10号论文，51页（2017年）.MSC公司：第68页，共15页 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人，Log。方法计算。科学。13，第1号，第10号论文，51页（2017；Zbl 1398.68124） 全文： 内政部 arXiv公司
El-Zawawy，Mohamed A。 基于堆抽象的逻辑相关区域识别。 （英语） Zbl 1258.68181号 J.埃及。数学。Soc公司。 20，第2期，64-71（2012）.MSC公司：68周05 68兰特 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.A.El-Zawawy}，J.埃及。数学。Soc.20，No.2，64--71（2012；Zbl 1258.68181） 全文： 内政部 arXiv公司
El-Zawawy，Mohamed A。 多线程程序基于死代码消除的指针分析。 （英语） Zbl 1259.68024号 J.埃及。数学。Soc公司。 20，第1期，28-37（2012）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛M.A.El Zawawy｝，J.埃及。数学。Soc.20，No.1，28-37（2012；Zbl 1259.68024） 全文： 内政部 arXiv公司