diff --git a/publications.bib b/publications.bib index 14882a3654c21e58e95f5d459b4347d345edcd78..8517bf55f42674aa00101b07089092aa2ee1009f 100644 --- 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}, }