formal verification of programs

基本解释

• [語言學]程序的形式騐証

专业释义

語言學

• 程序的形式騐証