Hoare axiom
Hoare axiom是什么意思、Hoare axiom怎么读
【计】 霍尔公理
Hoare axiom汉语翻译
【计】 霍尔公理