diff --git a/publications.bib b/publications.bib index 645dc422a7a940ed41e56d9f52429e782420ddde..0b3097d86f9ebc1fb388c5ed8965ef9904ca95fb 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}, }