来源与版权信息 资料来源 本入门教程基于南京大学《软件分析》课程。 PASCAL研究组主页 版权信息 教程文字部分遵循CC BY-NC-SA许可。 图片部分若无特殊说明，均为课程Slides的一部分，本书中使用这些图片已获Slides作者同意。