publications.bib

@@ -160,22 +160,6 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   project   = {web},
 }
 
-@InProceedings{DBLP:conf/aplas/RaadSG16,
-  author    = {Azalea Raad and Jos{\'{e}} Fragoso Santos and Philippa Gardner},
-  title     = {{DOM:} Specification and Client Reasoning},
-  booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
-  year      = {2016},
-  editor    = {Atsushi Igarashi},
-  volume    = {10017},
-  series    = {Lecture Notes in Computer Science},
-  pages     = {401--422},
-  bibsource = {dblp computer science bibliography, http://dblp.org},
-  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aplas/RaadSG16},
-  doi       = {10.1007/978-3-319-47958-3_21},
-  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
-  url       = {https://doi.org/10.1007/978-3-319-47958-3_21},
-}
-
 @Article{DBLP:journals/entcs/PintoDG15,
   author    = {Pedro da Rocha Pinto and Thomas Dinsdale{-}Young and Philippa Gardner},
   title     = {Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)},