提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/pods/GardnerSWZ08澳大利亚-菲利普·加德纳澳大利亚-加雷思·史密斯AU-驾驶室，Mark J。AU-乌里扎尔法蒂TI-关于DOM的局部Hoare推理。BT-第二十七届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录，PODS 2008，2008年6月9日至11日，加拿大不列颠哥伦比亚省温哥华SP-261型欧洲药典-2702008年上半年//DO-10.1145/1376916.1376953UR-（欧元）https://doi.org/10.1145/1376916.1376953急诊室-