Hoare logic

相关论文数: 1

顶级研究者

Yongmei Liu

研究机构: —

顶尖机构

University of TorontoCA1 篇论文

最高引用论文

A hoare-style proof system for robot programs

Yongmei Liu

引用数: 8 • 2002

相关技术

Computer scienceMathematicsProgramming languageAxiomCorrectnessSoundness