提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ecoop/MaksimovicCLSG23AU-马克西莫维奇，彼塔AU-卡罗琳·克朗杰AU-Löw，安德烈亚斯澳大利亚——朱利安·萨瑟兰AU-菲律宾加德纳TI-精确分离逻辑：缩小验证和缺陷发现之间的差距。BT-第37届面向对象编程欧洲会议，ECOOP 20232023年7月17日至21日，美国华盛顿州西雅图时间：19:1EP-19:272023年上半年//DO-10.4230/LIPICS。生态环境.2023.19UR-（欧元）https://doi.org/10.4230/LIPIcs.ECOOP.2023.19急诊室-