Martin Bodin等人：一个可信的机械化JavaScript规范。(2014) conf/popl/BodinCFGMNSS14 10.1145/2535838.2535876 10.1145/2578855.2535876 可信的机械化JavaScript规范。 8 摄影 1 亚瑟·查古埃罗（Arthur Charguéraud） 2 丹尼尔·菲拉雷蒂 三 菲利普·加德纳 4 塞尔吉奥·马菲斯 5 Daiva Naudziuniene公司 6 阿兰·施密特 7 加雷思·史密斯 8 87-100 POPL公司 POPL公司 2014 2014 dblp记录“conf/popl/BodinCFGMNSS14”的RDF数据的来源信息 2023-02-12T18:48-25+0100