高思春;奥尔纳·格伦伯格;保罗·祖利亚尼 悼词:埃德蒙·梅尔森·克拉克(1945-2020)。 (英语) Zbl 1522.01062号 形式方法系统。设计。 60,第3号,327-328(2022).MSC公司:01A70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}等人,《形式方法系统》。设计。60,第3号,327--328(2022;Zbl 1522.01062) 全文: 内政部
弗雷德里克·伯特利 2014年鲍尔奖和科学成就奖颁发给Edmund M.Clarke。 (英语) 兹比尔1356.01012 J.富兰克林研究所。 354,第1期,52-53(2017).MSC公司:01A70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bertley},J.Franklin Inst.354,No.1,52-53(2017;Zbl 1356.01012) 全文: 内政部