@第{zbMATH06854756条，作者={Pedersen，Jan B.和Welch，Peter H.}，标题={并发与验证的共生：教学与案例研究}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN＝{0934-5043}，体积={30}，数字={2}，页码={239--277}，年份={2018年}，语言={英语}，DOI={10.1007/s00165-017-0447-x}，关键词={68Q60，68Q85，97P20}，zbMATH={6854756}，Zbl={1382.68144}}