@书{zbMATH07373956,编辑{Groote,Jan Friso和Larsen,Kim Guldstrand},第27届国际会议,{TACAS}2021,作为{ETAPS}2021,{ETAPS}2021,{ETAPS}{City},{Luxembourg},{March}27--{4月}2021年3月{4月}第27届国际会议{TACAS}。{Part}{II}},FSeries={计算机科学课堂讲稿},Series={select.Notes Comput.Sci.},ISSN={0302-9743},体积{12652},ISBN={978-3-030-72012-4;978-3-030-72013-1},年份:{2021},Publisher={Cham:Springer},语言{英语},DOI={10.1007/978-3-030-72013-1},关键词{68-06,68Qxx,00B25},zbMATH={7373956},Zbl={1471.68016}}