@第{zbMATH06376196条，作者={Dimovski，Aleksandar S.}，标题={使用符号游戏语义进行程序验证}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={560}，页码＝{364-379}，年份={2014}，语言={英语}，DOI={10.1016/j.tcs.2014.01.016}，关键词={68Q60，68N30，68Q45,68Q55}，zbMATH＝{6376196}，Zbl={1303.68083}}