@收款{zbMATH07222936，作者＝｛Bonakdarpour，Borzoo和Finkbeiner，Bernd｝，标题＝{超属性的程序修复}，BookTitle={用于验证和分析的自动化技术。第17届国际研讨会，2019年10月28日至31日，台湾台北，ATVA 2019。诉讼}，国际标准图书编号={978-3-030-31783-6；978-3-0.30-31784-3}，页码={423--441}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-31784-3_25}，关键词={68Q60,03B44,68N30}，zbMATH={7222936}，Zbl={1437.68112}}