From fdf903d52c02895d2f9fbe790e2be1874ff00c8d Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 25 Jul 2022 16:56:22 +0000
Subject: [PATCH] Update publications.bib

---
 publications.bib | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/publications.bib b/publications.bib
index d231928..53ebb8f 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1949,6 +1949,17 @@ on-going work towards a more ambitious end-to-end verified interpreter
 which does not require an OCaml harness like WasmCert-Isabelle.},
 }
 
+@InProceedings{MaksimovicExact2022,
+author = {Petar Maksimoví\'c and
+          Caroline Cronj\"ager and
+          Julian Sutherland and
+          Andreas L\"o\"ow and
+          Philippa Gardner},
+title  = Exact Separation Logic (submitted)
+year   = {2022},
+}
+
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;
-- 
GitLab