YoVDO

Hoare Logic Courses

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
ACM SIGPLAN via YouTube
< Prev Page 2