TY  - RPRT
TI  - EMME: a formal tool for ECMAScript Memory Model Evaluation
AU  - Cristian Mattarei
AU  - Clark Barrett
AU  - Shu-yu Guo
AU  - Bradley Nelson
AU  - Ben Smith
AU  - JF Bastien
PY  - 2018
UR  - https://arxiv.org/abs/1801.10140
ID  - 1801.10140
ER  -