12 lines
519 B
Markdown
12 lines
519 B
Markdown
---
|
|
title: 学硕_程序验证方法
|
|
---
|
|
|
|
授课老师：[朱惠彪](https://faculty.ecnu.edu.cn/_s43/zhb2/main.psp)
|
|
|
|
考核方式：提交报告
|
|
|
|
- [教材](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕_程序验证方法/教材)
|
|
- [课件](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕_程序验证方法/课件)
|
|
- [经典论文](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕_程序验证方法/经典论文)
|