证明程序正确

Proving Programs Correct

Journal of the Operational Research Society · 1980
被引 14
ABS 3
计算机科学项目管理运筹学数学系统工程
阅读原文 ↗