[go: up one dir, main page]

Algebraic Program Analysis of Probabilistic Programs [Ver 1]

Slides

Date
Jun 30, 2023 3:15 PM — 3:40 PM
Event
Formal Methods Seminar, CCF
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.