托马斯·丁斯代尔·杨等人：局部推理的抽象和精化。(2010) conf/vstte/Dinsdale-YoungGW10 10.1007/978-3-642-15057-9_14 局部推理的抽象和精化。 三 托马斯·丁斯代尔-杨 1 菲利普·加德纳 2 Mark J.驾驶室 三 199-215 VSTTE公司 VSTTE公司 2010 2010 dblp记录“conf/vstte/Dinsdale-YoungGW10”的RDF数据的来源信息 2017-05-23T01:06:27+0200