@书籍{zbMATH05869420，作者={Axelsson，Roland}，标题={验证非常规程序属性}，年份={2010}，出版商={M{“u}nchen：Univ.M{”u}chen，信息学院（Diss.）}，语言={英语}，关键词={68-02,68Q60,03B44,03B45,68Q45}，URL={edoc.ub.uni-muenchen.de/11677/}，zbMATH={5869420}，Zbl=｛1208.68011｝}