Program Resource Analysis and Verification (In Chinese)

Slides

Date
Nov 30, 2024 3:10 PM — 3:35 PM
Event
SAVE 2024, Xijiao Hotel Beijing
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.