Update publications.bib

696e94b1 · Teresa Carbajo-Garcia · d7c1f1ee · 696e94b1
Commit 696e94b1 authored 3 years ago by Teresa Carbajo-Garcia
--- a/publications.bib
+++ b/publications.bib
@@ -1906,7 +1906,7 @@ 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 24th international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021},
 year = {2021},
 abstract = {WebAssembly (Wasm) is a new bytecode language supported