diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md index ee2a07bb4a4de75f76e15450bb7b7d8e89235641..0d1e9c4c5d789756680329f1c9eac5fef6541ca9 100644 --- a/_posts/2020-01-22-hase.md +++ b/_posts/2020-01-22-hase.md @@ -1,4 +1,3 @@ - --- title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020 ---