. . . . . “Petar Maksimovic等人：Gillian，第二部分：JavaScript和C的现实世界验证（2021）”。 . _：ID_16188b0e18a7831167559传真8500bd12。_：ID_16188b0e18a7831167559fae8500bd12 ._：ID_16188b0e18a7831167559fae8500bd12 ._：ID_16188b0e18a7831167559fae8500bd12 ._：ID_16188b0e18a7831167559fae8500bd12“conf/cav/MaksimovicASG20”。 _：ID_4545f68dc3a5e38ebb506b49ce8072。_：ID_4545f68dc3a5e38ebb506b49ce8072 ._：ID_4545f68dc3a5e38ebb506b49ce8072 ._：ID_4545f68dc3a5e38ebb506b49ce8072 ._：ID_4545f68dc3a5e38ebb506b49ce8072"10.1007/978-3-030-81688-9_38" . “Gillian，第二部分：JavaScript和C的真实世界验证”。 . . . . . . . . . "4"^^. _：Sig_d9712符合7430e2552aae3f6ce08a1c56_1。_：Sig_d9712符合7430e2552aae3f6ce08a1c56_1 ._：Sig_d9712符合7430e2552aae3f6ce08a1c56_1 ._：Sig_d9712符合7430e2552aae3f6ce08a1c56_1“彼得·马克西莫维奇”。_：Sig_d9712符合7430e2552aae3f6ce08a1c56_1 ._：Sig_d9712符合7430e2552aae3f6ce08a1c56_1"1"^^._：Sig_d9712符合7430e2552aae3f6ce08a1c56_1 . _：Sig_d9712acc7430e2552aae3f6ce08a1c56_2。_：Sig_d9712acc7430e2552aae3f6ce08a1c56_2 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_2 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_2“Sacha-\u00C9lie Ayoun”。_：Sig_d9712acc7430e2552aae3f6ce08a1c56_2 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_2"2"^^._：Sig_d9712acc7430e2552aae3f6ce08a1c56_2 . _：Sig_d9712acc7430e2552aae3f6ce08a1c56_3。_：Sig_d9712acc7430e2552aae3f6ce08a1c56_3 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_3 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_3“Jos\u00E9 Fragoso Santos”。_：Sig_d9712acc7430e2552aae3f6ce08a1c56_3 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56/3"3"^^._：Sig_d9712acc7430e2552aae3f6ce08a1c56_3 . _：Sig_d9712acc7430e2552aae3f6ce08a1c56_4。_：Sig_d9712acc7430e2552aae3f6ce08a1c56_4 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_4 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_4“菲利普·加德纳”。_：Sig_d9712acc7430e2552aae3f6ce08a1c56_4 ._：Sig_d9712acc7430e2552aae3f6ce08a1c56_4"4"^^._：Sig_d9712acc7430e2552aae3f6ce08a1c56_4 . . . . . "827-850" . “CAV（2）”。 “CAV（2）”。 "2021"^^. "2021"^^. . “dblp记录'conf/cav/MaksimovicASG20'的RDF数据的起源信息”。 . . . “2021-07-23T16:41:30+0200”。