Skip to content
Snippets Groups Projects
Commit 82aa71d6 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent 4d325770
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
publications.bib
+ 2
− 2
View file @ 82aa71d6
...@@ -1918,8 +1918,8 @@ title = {Two Mechanisations of WebAssembly 1.0}, ...@@ -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}, booktitle = {Proceedings of the 24\textsuperscript{th} international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021},
year = {2021}, year = {2021},
editor = {Marieke Huisman and editor = {Marieke Huisman and
Corina S. Pasareanu and Corina S. Pasareanu and
Naijun Zhan}, Naijun Zhan},
series = {Lecture Notes in Computer Science}, series = {Lecture Notes in Computer Science},
volume = {13047}, volume = {13047},
pages = {61--79}, pages = {61--79},
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment