阿尔贝托·齐法格利翁;路易吉·利科里;马里诺·米库兰 归纳类型理论和语境理论中关于基于对象计算的推理。 (英语) Zbl 1118.68046号 J.汽车。推理 39,第1期,1-47页(2007年).MSC公司:68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciafglione}等人,J.Autom。推理39,No.1,1-47(2007;Zbl 1118.68046) 全文: 内政部 哈尔
大卫·冯·奥海姆 Isabelle/HOL中Java的Hoare逻辑。 (英语) Zbl 0997.68019号 并发计算。实际。支出。 第13期,第13期,1173-1214页(2001年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.von Oheimb},并发计算。实际。Exp.13,No.13,1173--1214(2001;Zbl 0997.68019) 全文: 内政部