代码-规约-测试-调试-证明：将分离逻辑规约灵活融入常规开发工作流

剑桥大学计算机实验室，剑桥大学计算机实验室，全球历史最悠久、最负盛名的计算机科学系之一，自 1937 年起开展计算科学的先驱研究。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论