assertion language

斷言語言

學術名詞

• 判定語言：資訊