diff --git a/publications.bib b/publications.bib
index 6e134da2172c4be4aa54c1b4dc3f2c09e3d5d02d..e89df8254c74b4e7ae2b6923baeddda3ac98ca23 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