@会议记录{maksimovic_et_al:LIPIcs.ECOOP.2023.19,author={Maksimovi\'{c}、Petar和Cronj\“{a} 蒙古、卡罗琳和L“{o}”{o} w个安德烈亚斯和萨瑟兰,朱利安和加德纳,菲利普},title={{精确分离逻辑:弥合验证和错误发现之间的差距}},booktitle={第37届欧洲面向对象编程会议(ECOOP 2023)},页数={19:1--19:27},series={莱布尼茨国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-281-5},ISSN={1868-8969},年份={2023},体积={263},editor={Ali,Karim和Salvaneschi,Guido},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.19},URN={URN:nbn:de:0030-drops-182123},doi={10.4230/LPIcs.ECOP.2023.19},annote={关键词:分离逻辑,程序正确性,程序错误性,抽象}}