Seminar 更多
- [06-16] Deductive Verification of Smart Contracts
- [05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
- [12-09] A Dynamical Aspect of D-finite Power Series
- [12-02] Verified Separate Compilation of C Programs into Binary Object Files
- [10-14] SKLCS seminar on “地理信息系统”
- [12-30] Uncertainty-wise Software Engineering