Merge branch 'master' of https://gitlab.doc.ic.ac.uk/verified-software/publications

86f45956 · Petar Maksimovic · 4a7cca9b · fcf5bbea · 86f45956
Commit 86f45956 authored 2 years ago by Petar Maksimovic
--- a/publications.bib
+++ b/publications.bib
@@ -1955,7 +1955,7 @@ author = {Petar Maksimovíc and
          Julian Sutherland and
          Andreas L\"o\"ow and
          Philippa Gardner},
-title  = Exact Separation Logic (submitted),
+title  = {Exact Separation Logic (submitted)},
 year   = {2022},
 }