From d655aef72d46df77727b9fcb30c9ffdff937ecd6 Mon Sep 17 00:00:00 2001 From: Garrett Mills Date: Mon, 29 Aug 2022 19:27:32 +0000 Subject: [PATCH] Update 'README.md' --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index b44640d..2759187 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,8 @@ A collection of articles & links ## Reading +- [The Challenges of Formally Proving HPC Systems Software](https://www.osti.gov/biblio/1500167) + ### Development - [CatchTS](https://catchts.com/) - A TypeScript blog