@InProceedings{Brotherston-etal:21,
  author    = "James Brotherston and Paul Brunet and Nikos Gorogiannis and Max Kanovich",
  title     = "A Compositional Deadlock Detector for Android Java",
  booktitle = "Proceedings of {ASE}-36",
  publisher = "ACM",
  year      = 2021
}