TY  - RPRT
TI  - Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
AU  - Peizun Liu
AU  - Thomas Wahl
AU  - Akash LaL
PY  - 2019
UR  - https://arxiv.org/abs/1905.09996
ID  - 1905.09996
ER  -