提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/calco/Dinsdale-YoungGW11澳大利亚——汤姆斯·丁斯代尔·扬澳大利亚-菲利普·加德纳AU-驾驶室，Mark J。TI-程序模块的抽象局部推理。2011年8月30日至9月2日，英国温彻斯特，2011年CALCO第四届国际会议，计算机科学中的BT代数和余代数。诉讼SP-36EP-392011年上半年//DO-10.10007/978-3-642-22944-2_3UR-（欧元）https://doi.org/10.1007/978-3-642-22944-23急诊室-