publications.bib

@@ -1436,11 +1436,7 @@ the JavaScript variable store.},
   file      = {:Gardner2013JuS.pdf:PDF},
 }
 @article{FragosoSantos2018JaVerT,
-  author    = {Jos{\'{e}} {Fragoso Santos} and
-               Petar Maksimovi\'{c} and 
-               Daiva Naud\v{z}i\={u}nien\.{e} and
-               Thomas Wood and
-               Philippa Gardner},
+  author    = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e} and Thomas Wood and Philippa Gardner},
   title     = {JaVerT: JavaScript verification toolchain},
   journal   = {{PACMPL}},
   volume    = {2},
@@ -1463,7 +1459,9 @@ operations on data structures such as binary search trees (BSTs) and lists; exam
 and test cases from the official ECMAScript test suite. The verification times suggest that reasoning about larger, 
 more complex code using JaVerT is feasible. 
     },
-    @inproceedings{FragosoSantos2015Modular,
+}
+
+@inproceedings{FragosoSantos2015Modular,
   author    = {Jos{\'{e}} Fragoso Santos and
                Tamara Rezk and
                Ana Almeida Matos},
@@ -1513,7 +1511,8 @@ more complex code using JaVerT is feasible.
     typed at static time are wrapped inside an internal boundary statement used 
     by the semantics to interleave the execution of statically verified code 
     with the execution of code that must be dynamically checked.},
- }
+}
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;