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

Update publications.bib

parent 38b05675
......@@ -1691,8 +1691,8 @@ testing, and automatic compositional testing based on bi-abduction.},
}
@InProceedings{watt_et_al:LIPIcs:2019:10801,
author = {Conrad Watt and Petar Maksimovic and Neelakantan R. Krishnaswami and Philippa Gardner},
@InProceedings{Watt2019Program,
author = {Conrad Watt and Petar Maksimovi\'{c} and Neelakantan R. Krishnaswami and Philippa Gardner},
title = {{A Program Logic for First-Order Encapsulated WebAssembly}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {9:1--9:30},
......
Markdown is supported
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