公理語義

公理語義（axiomatic semantics）是2018年公佈的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。