結構程序驗證
詞語: 結構程序驗證
解釋: constructive program verification
詞典: 計算機專業漢英詞典
本文鏈接:https://www.kkyyg.com/hanyingcidian/jisuanjihanying/471886.html