. . . . . “Petar Maksimovic等人：精确分离逻辑：弥合验证和缺陷发现之间的差距”（2023）。 . . _：ID_943bed2000d67a6e23abe10f65。_：ID_943bed2000d67a6e23abe10f65 ._：ID_943bed2000d67a6e23abe10f65 ._：ID_943bed2000d678a6a8e23ab6e10f8f65“conf/ecop/MaksimovicCLSG23”。 _：ID_824e4f153a7405e9e7d8a30cf1b0cdcf。_：ID_824e4f153a7405e9e7d8a0cf1b0cdcf ._：ID_824e4f153a7405e9e7d8a0cf1b0cdcf ._：ID_824e4f153a7405e9e7d8a0cf1b0cdcf“10.4230/LIPICS.ECOOP.2023.19”。 “精确分离逻辑：缩小验证和缺陷发现之间的差距。”。 . . . . . . "5"^^. _：Sig_1aebb4bff53cc622f920256df8ce321_1。_：Sig_1aebb4bff53cc622f920256df8ce321_1 ._：Sig_1aebb4bff53cc622f920256df8ce321_1“彼得·马克西莫维奇”。_：Sig_1aebb4bff53cc622f920256df8ce321_1 ._：Sig_1aebb4bff53cc622f920256df8ce321_1"1"^^._：Sig_1aebb4bff53cc622f920256df8ce321_1 . _：Sig_1aebb4bfff53cc622f920256df8ce321_2。_：Sig_1aebb4bff53cc622f920256df8ce321_2 ._：Sig_1aebb4bff53cc622f920256df8ce321_2“Caroline Cronj\u00E4ger”。_：Sig_1aebb4bff53cc622f920256df8ce321_2 ._：Sig_1aebb4bff53cc622f920256df8ce321_2"2"^^._：Sig_1aebb4bff53cc622f920256df8ce321_2 . _：Sig_1aebb4bff53cc622f920256df8ce321_3。_：Sig_1aebb4bff53cc622f920256df8ce321_3 ._：Sig_1aebb4bff53cc622f920256df8ce321_3“安德烈亚斯L\u00F6\u00F 6w”。_：Sig_1aebb4bff53cc622f920256df8ce321_3 ._：Sig_1aebb4bff53cc622f920256df8ce321_3"3"^^._：信号_1aebb4bfff53cc622f920256df8ce321_3 . _：Sig_1aebb4bff53cc622f920256df8ce321_4。_：Sig_1aebb4bff53cc622f920256df8ce321_4 ._：Sig_1aebb4bff53cc622f920256df8ce321_4“朱利安·萨瑟兰”。_：Sig_1aebb4bff53cc622f920256df8ce321_4 ._：Sig_1aebb4bff53cc622f920256df8ce321_4“4”^^._：Sig_1aebb4bff53cc622f920256df8ce321_4 . _：Sig_1aebb4bff53cc622f920256df8ce321_5。_：Sig_1aebb4bff53cc622f920256df8ce321_5 ._：信号_1aebb4bfff53cc622f920256df8ce321_5“菲利普·加德纳”。_：Sig_1aebb4bff53cc622f920256df8ce321_5 ._：Sig_1aebb4bff53cc622f920256df8ce321_5"5"^^._：Sig_1aebb4bff53cc622f920256df8ce321_5 . . . . "19:1-19:27" . “ECOOP”。 “ECOOP”。 "2023"^^. "2023"^^. . “dblp记录'conf/ecoop/MaksimovicCLSG23'的RDF数据的起源信息”。 . . . “2023-07-11T17:14:10+0200”。