@misc{indiciae9417f5af7208,
  title = {Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)},
  author = {Peizun Liu and Thomas Wahl and Akash LaL},
  year = {2019},
  url = {https://arxiv.org/abs/1905.09996},
  note = {Source identifier: 1905.09996}
}