diff --git a/publications.bib b/publications.bib index 973d7b13dff5f17b7c92d44169ef8f569ebbd8f7..d231928f300946e25582ed28e52213ce96e3ff8f 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},