@书籍{zbMATH07294391，编辑={Biere，Armin and Parker，David}，标题={系统构建和分析的工具和算法。第26届国际会议，{TACAS}2020，作为{欧洲}软件理论和实践联合会议的一部分，{ETAPS}2020，{都柏林}，{爱尔兰}，}2020年4月25-30日。{会议记录}。{第}{II}}部分，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={12079}，国际标准图书编号={978-3-030-45236-0；978-3-0.30-45237-7}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-45237-7}，关键词={68-06,68Qxx，00B25}，zbMATH={7294391}，Zbl={1471.68010}}