automatic program verification system

自動程式驗證系統

學術名詞

• 自動程式驗證系統：資訊