From dc44d1d95bc30b7993d563f275da747ea8ca06fc Mon Sep 17 00:00:00 2001 From: Hakjoo Oh Date: Thu, 18 Apr 2024 18:41:55 +0900 Subject: [PATCH] Update _index.md --- content/courses/cose419/2024/_index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md index b289070..4d8bbc4 100644 --- a/content/courses/cose419/2024/_index.md +++ b/content/courses/cose419/2024/_index.md @@ -38,7 +38,7 @@ title = 'COSE419-24S' - Video: [(1)](https://youtu.be/k6WBwBETWBU) [(2)](https://youtu.be/rJ0R_MU_pt0) - First-order Theories - Slides [lec7.pdf](./slides/lec7.pdf) - - Video: + - Video: [(1)](https://youtu.be/5jWD2H44u7A) [(2)](https://youtu.be/gV9IZ5Zuuc8) ### Part 3: Abstract Interpretation