Update publications.bib

publications.bib

@@ -1587,6 +1587,7 @@ exhibit the desired behaviour.},
   doi           = {https://doi.org/10.1016/j.jlamp.2018.03.003},
   keywords      = {Concurrency, Specification, Program verification},
   url           = {http://www.sciencedirect.com/science/article/pii/S2352220817300871},
+}
   
  @InProceedings{Ntzik2018Concurrent,
   author    = {Gian Ntzik and Pedro da Rocha Pinto and Julian Sutherland  and Philipa Gardner},
@@ -1607,9 +1608,6 @@ modules built over a heap, where the interference on the shared state is restric
 of the module, and modules built over a file system, where the interference cannot be restricted
 as the file system is a public namespace. We introduce specifications conditional on context
 invariants used to restrict the interference, and apply our reasoning to the example of lock files.},
-file      = {:Ntzik2018Concurrent.pdf:PDF},
-
-
 }