机译:高阶并发逻辑中的统一细化和Hoare风格推理
机译:嵌套Hoare三元组和高阶商店的框架规则
机译:Quantum关系Hoare逻辑
机译:关于用于高阶存储的Hoare Logics
机译:验证证明检查高阶逻辑
机译:菲利普·查尔斯·富尔福德(Philip Charles Fulford)·丁卡·加内卡(Dinkar Ghanekar)·理查德·大卫·霍阿(Richard David Hoare)·大卫·托马斯·劳埃德·休斯(David Thomas Lloyd-Hughes)·罗莎琳·斯托利·麦克高恩(Rosalind Storey McGowan)伊万·萨姆森·达勒姆·汤姆森(Ivan Samson Durham Thomson)
机译:关于高阶商店的Hoare逻辑