Add https://cseweb.ucsd.edu/classes/sp05/cse128/

tlaplus · Sep 11, 2023 · f069531 · f069531
1 parent e745381
commit f069531
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -156,3 +156,4 @@ TLA+ is a formal specification and verification language to help engineers desig
 * [University of Iowa: CS5620f15 Distributed Systems and Algorithms](https://weblog.cs.uiowa.edu/cs5620f15/)
 * [University of Tartu: Systems Modelling](https://courses.cs.ut.ee/2019/SM/)
 * [University of Colorado: Distributed Systems Verification](https://gowthamk.github.io/csci7000_s21/)
+* [University of California, San Diego: CSE 128 Spring 2005 Concurrency](https://cseweb.ucsd.edu/classes/sp05/cse128/)