@第{zbMATH07283036条，作者={Calvanee、Diego和Ghilardi、Silvio和Gianola、Alessandro和Montali、Marco和Rivkin、Andrey}，标题={基于{SMT}数据软件过程的验证：一种模型理论方法}，FJournal={MSCS.计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={30}，数字＝｛3｝，页码={271--313}，年份={2020年}，语言={英语}，DOI={10.1017/S0960129520000067}，关键词={68Q60,03B70,03C98,68P15}，zbMATH={7283036}，Zbl={1495.68129}}