Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
youdao
应用推荐
模块上移
模块下移
不移动