今天下午，听杜玉越老师讲了一堂课，内容是关于“形式化软件开发方法”的讨论。为不负老师为我们所讲的内容，现将笔记整理如下。方便其他人以及自己参考。今天下午，听杜玉越老师讲了一堂课，内容是关于“形式化软件开发方法”的讨论。为不负老师为我们所讲
阅读背景：
初识-形式化软件开发方法
来源：互联网
分享到：
