結構程式驗證
詞語: 結構程式驗證
解釋: constructive program verification
詞典: 計算機專業漢英詞典
本文連結:https://www.yyxkb.com/zh-tw/hanyingcidian/jisuanjihanying/472121.html