提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/GardnerSWW15澳大利亚-菲利普·加德纳澳大利亚-加雷思·史密斯澳大利亚瓦特，康拉德AU-伍德，托马斯·伍德TI-一个可信的JavaScript机械化规范：一年后。BT-计算机辅助验证-第27届国际会议，CAV 2015，美国加利福尼亚州旧金山，2015年7月18日至24日，会议记录，第一部分SP-3EP-102015年上半年//DO-10.10007/978-3-319-21690-4_1UR-（欧元）https://doi.org/10.1007/978-3-319-21690-4_1急诊室-