资料来源与版权信息

资料来源

本入门教程主要内容基于南京大学《软件分析》课程。

PASCAL研究组主页上的公开课件

版权信息

教程文字部分遵循CC BY-NC-SA许可协议。

图片部分若无特殊说明则出自课程资料，使用已获作者同意。其他材料会注明出处，侵删。