Sacha-élie Ayoun等人：半自动化锈蚀验证的混合方法。(2024) 期刊/corr/abs-2403-15122 10.48550/ARXIV.2403.15122 半自动锈蚀验证的混合方法。 4 萨查·埃利·阿永 1 师丹尼斯 2 彼得·马克西莫维奇 三 菲利普·加德纳 4 CoRR公司 CoRR公司 abs/2403.15122 2024 dblp记录“journals/corr/abs-2403-15122”的RDF数据的来源信息 2024-04-09T15:12:39+0200