formal verification of programs

基本解释

• [语言学]程序的形式验证

专业释义

语言学

• 程序的形式验证