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

Update publications.bib

parent 8280d118
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 2 deletions
publications.bib
+ 0
− 2
View file @ 38b05675
......@@ -1704,8 +1704,6 @@ testing, and automatic compositional testing based on bi-abduction.},
editor = {Alastair F. Donaldson},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10801},
URN = {urn:nbn:de:0030-drops-108011},
doi = {10.4230/LIPIcs.ECOOP.2019.9},
abstract = { We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We
design a novel assertion syntax, tailored to WebAssembly’s stack-based semantics and the strong
......
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