From 2b4da9020b01c42f46387f90ad6a4a18333d15c5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 18 Dec 2018 15:48:15 +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 87e7e45..92dd606 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1628,7 +1628,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
}
@InProceedings{FragosoSantos2019JaVerT,
- author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Gabriela Sampaio} and Philippa Gardner,
+ author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Gabriela Sampaio and Philippa Gardner},
title = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript},
journal = {{PACMPL}},
volume = {3},
--
GitLab