From 82aa71d60e603753e982489dc1d15cd31d484258 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 15 Mar 2022 09:50:32 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/publications.bib b/publications.bib
index 973d7b1..d231928 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1918,8 +1918,8 @@ 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},
editor = {Marieke Huisman and
- Corina S. Pasareanu and
- Naijun Zhan},
+ Corina S. Pasareanu and
+ Naijun Zhan},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {61--79},
--
GitLab