From 50a02706c13ee1637e94e87eb4f1b5c881623301 Mon Sep 17 00:00:00 2001 From: Hakjoo Oh Date: Fri, 22 Mar 2024 09:42:26 +0900 Subject: [PATCH] update --- 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 3ab02d9..c697178 100644 --- a/content/courses/cose419/2024/_index.md +++ b/content/courses/cose419/2024/_index.md @@ -29,7 +29,7 @@ title = 'COSE419-24S' ### Part 2: Program Verification - Propositional Logic - Slides [lec4.pdf](./slides/lec4.pdf) - - Video: [(1)](https://youtu.be/ImigmSCqyUE) + - Video: [(1)](https://youtu.be/ImigmSCqyUE) [(2)](https://youtu.be/-sBjLmDF4Wk) ### Part 3: Abstract Interpretation