@杂项{zbMATH03825144，作者={Manna，Zohar}，标题={顺序程序的验证：时间公理化}，年份={1982年}，语言={英语}，HowPublished={编程方法学的理论基础，{Lect}。{注释}int.{Summer}{Sch}。，{Marktoberdorf}/{Ger}。1981年，{北约}{前进}。{研究}{仪器}。{序号}。，{C} ，{数学}。{物理}。{科学}。91, 53-102 (1982).},关键词={68Q60}，zbMATH={3825144}，Zbl={0521.68019}}