彼得·马克西莫维奇（Petar Maksimovic）等人：《精确分离逻辑：缩小验证和缺陷发现之间的差距》（Exact Separation Logic:Towards Bridge the Gap Between Verification and Bug-Finding）。(2023) conf/ecop/MaksimovicCLSG23 10.4230/LIPICS公司。生态环境.2023.19 精确分离逻辑：缩小验证和缺陷发现之间的差距。 5 佩塔尔·马克西莫维奇 1 卡罗琳·克朗贾格 2 安德烈亚斯·洛夫 三 朱利安·萨瑟兰 4 菲利普·加德纳 5 19:1-19:27 ECOOP公司 ECOOP公司 2023 2023 dblp记录“conf/ecoop/MaksimovicCLSG23”的RDF数据的来源信息 2023-07-11T17:14:10+0200