TY  - RPRT
TI  - Specifying and Model Checking Workflows of Single Page Applications with TLA+
AU  - Gefei Zhang
PY  - 2020
UR  - https://arxiv.org/abs/2005.05627
ID  - 2005.05627
ER  -