@收款{zbMATH02090151，作者={Whalen，Michael and Schumann，Johann and Fischer，Bernd}，标题={合成认证代码}，BookTitle={FME 2002:正式方法-使IT正确。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22-24日。诉讼}，国际标准图书编号={3-540-43928-5}，页码={431--450}，年份={2002}，出版商={柏林：施普林格}，语言={英语}，关键词={68N30,68T15}，URL={link.springer.de/link/service/series/0558/bibs/2391/23910431.htm}，zbMATH={2090151}，Zbl={1064.68541}}