引用人
海兹曼M 巴思·M 迪士奇D 费希特纳L 霍尼克J Klumpp D公司 Naouar M公司 迅达T Schüssele F公司 波多尔斯基A (2023) 终极Automizer与CommuHash范式 系统构建和分析的工具和算法 10.1007/978-3-031-30820-8_39 (577-581) 在线发布日期:2023年4月20日 Dobos-Kovács M公司 Vörös A公司 (2022) 基于抽象的软件模型检查中SMT求解器的评估 第11届拉丁美洲可靠计算研讨会论文集 10.1145/3569902.3570187 (109-116) 在线发布日期:2022年11月21日 拜尔·D 哈尔特曼J Lemberger T公司 Wehrheim H公司 德怀尔M 达米安·D 泽勒A (2022) 将软件验证分解为离线组件 第44届国际软件工程会议记录 10.1145/3510003.3510064 (536-548) 在线发布日期:2022年5月21日 显示更多引用者