Floyd-Hoare logics

短语

释义与例句

n.
  1. 1.

    plural of Floyd-Hoare logic