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