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