Update publications.bib

publications.bib

@@ -1860,6 +1860,17 @@ certificate of correctness. We provide a prototype implementation and we report
 on some textbook examples.},
 }
 
+@InProceedings{Maksimovic2021Gillian, 
+author    = {Petar Maksimovic and
+            Jos{\'{e}} Fragoso Santos and
+            Sacha{-}{\'{E}}lie Ayoun and
+            Philippa Gardner},
+  title    = { Gillian, Part II: Real-World Verification for
+JavaScript and C},
+booktitle = {33rd International Conference on Computer-Aided Verification, (CAV 2021)},
+year      = {2021},
+}
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;