Update publications.bib

publications.bib

@@ -1914,10 +1914,19 @@ author = {Conrad Watt and
           Jean Pichon-Pharabod and
           Martin Bodin and 
           Philippa Gardner},
-title = {Two Mechanisations of WebAssembly 1.0},
+title  = {Two Mechanisations of WebAssembly 1.0},
 booktitle = {Proceedings of the 24\textsuperscript{th} international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021},
-year = {2021},
-abstract = {WebAssembly (Wasm) is a new bytecode language supported
+year   = {2021},
+editor = {Marieke Huisman and
+            Corina S. Pasareanu and
+            Naijun Zhan},
+series = {Lecture Notes in Computer Science},
+volume = {13047},
+pages  = {61--79},
+publisher = {Springer},
+url    = {https://doi.org/10.1007/978-3-030-90870-6\_4},
+doi    = {10.1007/978-3-030-90870-6\_4},
+abstract  = {WebAssembly (Wasm) is a new bytecode language supported
 by all major Web browsers, designed primarily to be an efficient compilation
 target for low-level languages such as C/C++ and Rust. It is unusual in that 
 it is officially specified through a formal semantics. An initial draft