提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/vstte/Dinsdale-YoungGW10澳大利亚——汤姆斯·丁斯代尔·扬澳大利亚-菲利普·加德纳AU-驾驶室，Mark J。TI-局部推理的抽象和精化。英国电信验证软件：理论、工具、实验，第三届国际会议，2010年8月16日至19日，英国爱丁堡。诉讼SP-199EP-2152010年上半年//DO-2007年10月10日/978-3-642-15057-9_14UR-（欧元）https://doi.org/10.1007/978-3-642-15057-9_14急诊室-