提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2403-15122非盟-阿永，萨沙埃利澳大利亚-丹尼斯，泽维尔AU-马克西莫维奇，彼塔澳大利亚-菲利普·加德纳TI-半自动锈蚀验证的混合方法。JO-CoRR公司VL-abs/2403.151222024年//DO-10.48550/ARXIV.2403.15122UR-（欧元）https://doi.org/10.48550/arXiv.2403.15122急诊室-