diff --git a/publications.bib b/publications.bib index 3b20c90cbadd12309896fc5470d6166f22fa830b..3902e51db8be7bf6c8564f22a159715946f940f5 100644 --- a/publications.bib +++ b/publications.bib @@ -390,7 +390,7 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i @Article{LWPG2005Explicit, Title = {{Explicit Fusions}}, - Author = {{Lucian Wischik and Philippa Gardner}}, + Author = {Lucian Wischik and Philippa Gardner}, Journal = {Theoretical Computer Science}, Year = {2005}, Number = {3},