菲利普·加德纳 加雷思·史密斯 康拉德·瓦特 托马斯·伍德0001 JavaScript可信的机械化规范：一年后。 3-10 2015 CAV（1） https://doi.org/10.1007/978-3-319-21690-4_1 conf/cav/2015-1 db/conf/cav/cav2015-1.html#GardnerSWW15