fix bibtex

publications.bib

@@ -1586,8 +1586,8 @@ exhibit the desired behaviour.},
   keywords      = {Concurrency, Specification, Program verification},
   url           = {http://www.sciencedirect.com/science/article/pii/S2352220817300871},
 }
-  
- @InProceedings{Ntzik2018Concurrent,
+
+@InProceedings{Ntzik2018Concurrent,
   author    = {Gian Ntzik and Pedro {da Rocha Pinto} and Julian Sutherland  and Philippa Gardner},
   title     = {A Concurrent Specification of POSIX File Systems },
   booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018).},
@@ -1621,13 +1621,11 @@ invariants used to restrict the interference, and apply our reasoning to the exa
                Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                Germany, September 03-05, 2018},
   pages     = {11:1--11:14},
+  month     = sep,
   year      = {2018},
-  crossref  = {DBLP:conf/ppdp/2018},
-  url       = {http://doi.acm.org/10.1145/3236950.3236956},
   doi       = {10.1145/3236950.3236956},
-  timestamp = {Tue, 14 Aug 2018 20:44:23 +0200},
-  biburl    = {https://dblp.org/rec/bib/conf/ppdp/SantosMGDG18},
-  bibsource = {dblp computer science bibliography, https://dblp.org}
+  project   = { web }
+}
 
 @Comment{jabref-meta: databaseType:bibtex;}