Update _index.md

kupl · Feb 7, 2024 · 487a8ba · 487a8ba
1 parent 4f34046
commit 487a8ba
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/content/resources/_index.md b/content/resources/_index.md
@@ -18,7 +18,6 @@ weight = 80
 - Nick Benton. [Bridging the Gap Between Theory and Practice](./why-cs-theory.ps)
 - Donald Knuth. [Theory and Practice](./knuth-theory-practice.pdf)
 - Matt Might. [The illustrated guide to a Ph.D](http://matt.might.net/articles/phd-school-in-pictures/)
-- [대학원때 알았으면 좋았을 것들](http://gradschoolstory.net/)
 
 # How to begin software analysis research
 
@@ -40,4 +39,4 @@ weight = 80
 
 - Aaron R. Bradley and Zohar Manna. [The Calculus of Computation](https://www.amazon.com/Calculus-Computation-Procedures-Applications-Verification/dp/3540741127)
 - Flemming Nielson, Hanne Riis Nielson, Chris hankin. [Principles of Program Analysis](https://www.amazon.com/Principles-Program-Analysis-Flemming-Nielson/dp/3540654100)
-- Glynn Winskel. [Formal Semantics of Programming Languages](https://www.amazon.com/Formal-Semantics-Programming-Languages-Winskel/dp/0262731037)
+- Glynn Winskel. [Formal Semantics of Programming Languages](https://www.amazon.com/Formal-Semantics-Programming-Languages-Winskel/dp/0262731037)