From ac97b5b1d6fc8a8c8a576f92a732c470c44d607b Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 16 Nov 2018 14:58:43 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/publications.bib b/publications.bib
index dae710a..a5797de 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1632,7 +1632,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
title = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript},
journal = {{PACMPL}},
volume = {3},
- number = {{POPL}},
+ number = {{ POPL}},
year = {2019},
project = { web },
doi = {10.1145/3290379},
@@ -1652,10 +1652,10 @@ in JavaScript verification; and the feasibility of automatic compositional testi
@InProceedings{Bodin2019Skeletal,
author = {Martin Bodin and Philippa Gardner and Thomas Jensen and Alan Schmitt},
- title = {Skeletal Semantics and Their Interpretations},
+ title = {Skeletal Semantics and their Interpretations},
journal = {{PACMPL}},
volume = {3},
- number = {{POPL}},
+ number = {{ POPL}},
year = {2019},
project = { web },
doi = {10.1145/3290357},
--
GitLab