最終更新日:2023/09/05
A Hoare triple is a formal statement about the relationship between the preconditions, postconditions, and the behavior of a program.
正解を見る
A Hoare triple is a formal statement about the relationship between the preconditions, postconditions, and the behavior of a program.
編集履歴(0)