. . . 《Petar Maksimovic等人：Gillian:统一符号分析的多语言平台》（2021）。 _：ID_52bc5096e558f55ab54048f12a248e5b。_：ID_52bc5096e558f55ab54048f12a248e5b ._：ID_52bc5096e558f55ab54048f12a248e5b ._：ID_52bc5096e558f55ab54048f12a248e5b“期刊/corr/abs-2105-14769”。 _：ID_61ee3fe82fce07edbee8c124092f5a46。_：ID_61ee3fe82fce07edbee8c124092f5a46 ._：ID_61ee3fe82fce07edbee8c124092f5a46 ._：ID_61ee3fe82fce07edbee8c124092f5a46“2105.14769”。 “Gillian：统一符号分析的多语言平台。”。 . . . . . “4”^^. _：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_1。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_1 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_1“彼得·马克西莫维奇”。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_1 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_1"1"^^._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_1 . _：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_2。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_2 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_2“Jos\u00E9 Fragoso Santos”。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_2 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_2"2"^^._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_2 . _：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_3。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_3 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_3“Sacha-\u00C9lie Ayoun”。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_3 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_3"3"^^._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_3 . _：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_4。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_4 ._：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_4“菲利普·加德纳”。_：Sig_3f9e6f73d9ec909ea22267ce1eb8299f_4 ._：信号3f9e6f73d9ec909ea22267ce1eb8299f_4“4”^^._：信号3f9e6f73d9ec909ea22267ce1eb8299f_4 . . . . “CoRR”。 “CoRR”。 “abs/2105.14769”。 "2021"^^. “dblp记录‘journals/corr/abs-2105-14769’的RDF数据的来源信息”。 . . . “2021-06-02T11:46:42+0200”。