你好,托尼;乔治·斯特鲁斯;吉姆·伍德科克 空间、时间和因果关系的微积分:代数、几何、逻辑。 (英语) Zbl 07168631号 Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885,3-21(2019)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,Lect。注释计算。科学。11885,3--21(2019;Zbl 07168631) 全文: 内政部 链接
Bicarregui,J.C。;C.A.R.霍尔。;伍德科克,J.C.P。 验证的软件库:向验证编译器迈进的一步。 (英语) Zbl 1103.68452号 正式Asp。计算。 18,第2期,143-151(2006).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bicarregui}等人,正式Asp。计算。18,第2号,143--151(2006;Zbl 1103.68452) 全文: 内政部 链接