David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 CryptHOL:高阶逻辑中基于游戏的证明。 (英语) Zbl 1455.94121号 J.密码学 33,第2期,494-566(2020年).MSC公司:94A60型 94A62型 68伏15 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Basin}等人,《密码学杂志》33,第2期,494--566(2020;Zbl 1455.94121) 全文: 内政部
Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 在Event-B中开发拓扑发现。 (英语) Zbl 1192.68829号 科学。计算。程序。 74,编号11-12,879-899(2009).MSC公司:68周05 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,科学。计算。程序。74,编号11--12,879--899(2009;Zbl 1192.68829) 全文: 内政部
Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 在Event-B中开发拓扑发现。 (英语) Zbl 1211.68028号 Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,第7届国际会议,IFM 2009,德国杜塞尔多夫。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423,1-19(2009)。MSC公司:68米14 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,Lect。注释计算。科学。5423,1-19(2009年;兹bl 1211.68028) 全文: 内政部 链接