From 4f91bf15587469b8c51989e906337d972d9020fb Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 16 Jun 2021 10:21:19 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/publications.bib b/publications.bib
index a66f203..fb71ab9 100644
--- a/publications.bib
+++ b/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;
--
GitLab