Commit 40ed76ea authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent 7b8f27dd
......@@ -1933,7 +1933,6 @@ WasmCert-Coq includes executable parsing and numeric definitions as
on-going work towards a more ambitious end-to-end verified interpreter
which does not require an OCaml harness like WasmCert-Isabelle.},
@Comment{jabref-meta: databaseType:bibtex;}
Supports Markdown
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