diff --git a/publications.bib b/publications.bib index 41195875025bca98f308c640c4700da3f7175ddf..0e25ee3f5c947baf1b83b8491b7a654357d2c3fa 100644 --- a/publications.bib +++ b/publications.bib @@ -1,7 +1,3 @@ ---- -title: Publications ---- - @InProceedings{Bodin2014Trusted, Title = {A Trusted Mechanised JavaScript Specification}, Author = {Bodin, Martin and Chargu{\'e}raud, Arthur and Filiaretti, Daniele and Gardner, Philippa and Maffeis, Sergio and Naud{\v{z}}i{\=u}nien{\.e}, Daiva and Schmitt, Alan and Smith, Gareth},