@文章{zbMATH05208341，作者={钱俊彦和徐宝文}，标题={{C}程序}的形式验证，FJournal={Informatica（维尔纽斯）}，期刊={Informatica，维尔纽斯}，ISSN={0868-4952}，体积={18}，数字={2}，页码={289--304}，年份={2007}，语言={英语}，关键词={68Q60,68N15}，zbMATH＝{5208341}，Zbl={1132.68479}}