软件工程形式化方法参考资料

学习体会篇

• https://ld246.com/article/1569238541461
• http://t.zoukankan.com/lingxi-p-4295703.html
• https://blog.csdn.net/ggjrtg/article/details/83926848
• https://www.21ks.net/lunwen/rjgclw/65512.html

大作业相关

• 强推：https://www.docin.com/p-600051950.html

---

今日推歌

----《在你的身边》 盛哲

我以为忘了想念
而面对夕阳希望你回到今天
我记得捧你的脸
在双手之间安静地看你的眼
像秋天落叶温柔整个世界
我想在你的身边
忘了这路有多长
想和你去看季节慢慢变换