TY  - RPRT
TI  - A Program Logic for First-Order Encapsulated WebAssembly
AU  - Conrad Watt
AU  - Petar Maksimović
AU  - Neelakantan R. Krishnaswami
AU  - Philippa Gardner
PY  - 2019
DO  - 10.4230/lipics.ecoop.2019.9
UR  - https://arxiv.org/abs/1811.03479
ID  - 1811.03479
ER  -