@第{zbMATH06243574条，作者={K{\v{r}}ena，Bohuslav和Vojnar，Tom{\'a}{\v}s}}}，Title={自动化形式分析和验证：概述}，FJournal={国际通用系统杂志}，日记账={国际期刊通用系统}，ISSN={0308-1079}，体积={42}，数字={4}，页码={335--365}，年份={2013}，语言={英语}，DOI={10.1080/03081079.2012.757437}，关键词={68Q60,68T15,68N30}，zbMATH={6243574}，Zbl={1286.68318}}