“可信的机械化JavaScript规范。”
摄影 , 亚瑟·查古埃罗(Arthur Charguéraud) , 丹尼尔·菲拉雷蒂 , 菲利普·加德纳 , 塞尔吉奥·马菲斯 , Daiva Naudziuniene公司 , 阿兰·施密特 , 加雷斯·史密斯 :
可信的机械化JavaScript规范。 POPL公司 2014 : 87-100
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。