In the proof, several realizers were constructed to demonstrate the correspondence between programs and specifications.
証明では、プログラムと仕様との対応を示すために、いくつかの実現者が構成された。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
