From aefaf62f184babd91c6d1110f8e671b5bd96c241 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 16 Jun 2021 13:05:54 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/publications.bib b/publications.bib
index 19eea0a..eb7b52e 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1865,8 +1865,8 @@ author = {Petar Maksimovic and
Sacha{-}{\'{E}}lie Ayoun and
Jos{\'{e}} Fragoso Santos and
Philippa Gardner},
- title = {Gillian, Part II: Real-World Verification for
-JavaScript and C},
+ title ={{Gillian, Part II: Real-World Verification for
+JavaScript and C}},
booktitle = {33rd International Conference on Computer-Aided Verification, (CAV 2021)},
year = {2021},
}
--
GitLab