. . . . . “Jos\u00E9 Fragoso Santos等人：面向基于逻辑的JavaScript程序验证（2017）”。 . . _：ID_111f1a3cb0a85a9022da4f1b9b783fcf。_：标识_111f1a3cb0a85a9022da4f1b9b783fcf ._：ID_111f1a3cb0a85a9022da4f1b9b783fcf ._：ID_111f1a3cb0a85a9022da4f1b9b783fcf“conf/cade/SantosGMN17”。 _：ID_28ba3281c3b3bc5348d680069be1407a。_：ID_28ba3281c3b3bc5348d680069be1407a ._：ID_28ba3281c3b3bc5348d680069be1407a ._：ID_28ba3281c3b3bc5348d680069be1407a"10.1007/978-3-319-63046-5_2" . “面向JavaScript程序的基于逻辑的验证”。 . . . . . “4”^^. _：Sig_f7ad1583e1f2084c09684a62cc1ed8b_1。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_1 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_1“Jos\u00E9 Fragoso Santos”。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_1 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_1 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_1"1"^^._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_1 . _：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_2。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_2 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_2“菲利普·加德纳”。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_2 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_2"2"^^._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_2 . _：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_3。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_3 ._：信号_f7ad1583e1f2084c09684a62cc1ed8b_3“彼得·马克西莫维奇”。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_3 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_3 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_3"3"^^._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_3 . _：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_4。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_4 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_4“Daiva Naudziuniene”。_：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_4 ._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_4“4”^^._：Sig_f7ad1583e1f2084c09684a62ccc1ed8b_4 . . . . "8-25" . “CADE”。 “CADE”。 "2017"^^. "2017"^^. . “dblp记录‘conf/cade/SantosGMN17’的RDF数据的出处信息”。 . . . “2020-10-25T23:07:07+0100”。