From d588644af4fa1bd58290d890cb541134150a9c9c Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 31 Aug 2021 12:11:24 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications.bib b/publications.bib
index 6e134da..e89df82 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1824,7 +1824,7 @@ correctness of several essential properties of the module, and discovering two s
previously unknown bugs.},
}
-@article{DOsualdo2020TaDa,
+@Article{DOsualdo2020TaDa,
author = {Emanuele D'Osualdo and
Azadeh Farzan and
Philippa Gardner and
--
GitLab