From 98e965d2419304d96342dfe8cd760c885183d3a1 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 16 Jun 2021 12:59:36 +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 fb71ab9..19eea0a 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1862,10 +1862,10 @@ on some textbook examples.},
@InProceedings{Maksimovic2021Gillian,
author = {Petar Maksimovic and
- Jos{\'{e}} Fragoso Santos and
Sacha{-}{\'{E}}lie Ayoun and
+ Jos{\'{e}} Fragoso Santos and
Philippa Gardner},
- title = { Gillian, Part II: Real-World Verification for
+ title = {Gillian, Part II: Real-World Verification for
JavaScript and C},
booktitle = {33rd International Conference on Computer-Aided Verification, (CAV 2021)},
year = {2021},
--
GitLab