Hoare axiom的意思|示意

---

Hoare axiom相关短语

1、 hoare axiom system hoare公理系统