Philippa Gardner等人：JavaScript可信的机械化规范：一年后（2015） conf/cav/GardnerSWW15 10.1007/978-3-319-21690-4_1 JavaScript可信的机械化规范：一年后。 4 菲利普·加德纳 1 加雷思·史密斯 2 康拉德·瓦特 三 托马斯·伍德0001 4 3-10 CAV（1） CAV（1） 2015 2015 dblp记录“conf/cav/GardnerSWW15”的RDF数据的来源信息 2019-08-20T15:26:40+0200