From 705df1c7137c09cf43054d354b8ca74433c1bcd0 Mon Sep 17 00:00:00 2001
From: Petar Maksimovic <petar.maksimovic@runtimeverification.com>
Date: Tue, 16 Aug 2022 12:26:58 +0200
Subject: [PATCH] Sacha author
---
publications.bib | 1 +
1 file changed, 1 insertion(+)
diff --git a/publications.bib b/publications.bib
index 23d9528..e887a56 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1954,6 +1954,7 @@ author = {Petar Maksimovic and
Caroline Cronj\"ager and
Julian Sutherland and
Andreas L\"o\"ow and
+ Sacha{-}{\'{E}}lie Ayoun and
Philippa Gardner},
title = {Exact Separation Logic (submitted)},
year = {2022},
--
GitLab