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

Update publications.bib

parent 82aa71d6
......@@ -1949,6 +1949,17 @@ on-going work towards a more ambitious end-to-end verified interpreter
which does not require an OCaml harness like WasmCert-Isabelle.},
author = {Petar Maksimoví\'c and
Caroline Cronj\"ager and
Julian Sutherland and
Andreas L\"o\"ow and
Philippa Gardner},
title = Exact Separation Logic (submitted)
year = {2022},
@Comment{jabref-meta: databaseType:bibtex;}
@Comment{jabref-meta: saveActions:enabled;
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