霍尔逻辑

  • 网络Hoare logic
霍尔逻辑霍尔逻辑