Update publications.bib

51cc2c2a · Teresa Carbajo-Garcia · 52116caf · 51cc2c2a
Commit 51cc2c2a authored 6 years ago by Teresa Carbajo-Garcia
--- a/publications.bib
+++ b/publications.bib
@@ -127,8 +127,9 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
 }

 @Proceedings{Felleisen2013Programming,
-  title     = {Programming Languages and Systems - 22\textsuperscript{nd} European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings},
+  title     = {Programming Languages and Systems},
  year      = {2013},
+  booktitle = {Programming Languages and Systems - 22\textsuperscript{nd} European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor    = {Matthias Felleisen and Philippa Gardner},
  volume    = {7792},
  series    = {Lecture Notes in Computer Science},