Quantitative Program Analysis and Verification (In Chinese)

Slides

Date
Dec 22, 2022 2:00 PM — 2:30 PM
Event
Seminar, ZTE
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.