Hoare logic的意思|示意
美 / /
英 / /
霍尔逻辑
Hoare logic相关短语
1、 Hoare-style Logic 类Hoare逻辑系统
2、 hoare s logic hoare逻辑