Hoare logic

相关论文数: 1

顶级研究者

Yongmei Liu

研究机构: —

最高引用论文

A hoare-style proof system for robot programs

Yongmei Liu

引用数: 8 • 2002

相关技术

Computer science Mathematics Programming language Axiom Correctness Soundness