Formal Verification of Programs

Name:	Formal Verification of Programs
No.:	712029Z	Semester:
Hour:	40	Credit:	2.0
Teacher:	Zhang,Wenhui
Introduction:

Content:

Material:

References:

电子电气与通信工程学院 School of Electronic, Electrical and Communication Engineering (EECE)