Petar Maksimovic等人：Gillian:统一符号分析的多语言平台。(2021) 期刊/corr/abs-2105-14769 2105.14769 Gillian：统一符号分析的多语言平台。 4 彼得·马克西莫维奇 1 何塞·弗拉戈索·桑托斯 2 萨查·埃利·阿永 三 菲利普·加德纳 4 CoRR公司 CoRR公司 abs/2105.14769 2021 dblp记录“journals/corr/abs-2105-14769”的RDF数据的出处信息 2021-06-02T11:46:42+0200