形式化方法在软件开发中的作用

The Role of Formal Methods in Software Development

Journal of Information Technology · 1987
被引 0
ABS 4
软件工程计算机科学信息系统形式化方法软件开发
阅读原文 ↗