@misc{indiciae5e3c91942139,
  title = {Data-Driven Abductive Inference of Library Specifications},
  author = {Zhe Zhou and Robert Dickerson and Benjamin Delaware and Suresh Jagannathan},
  year = {2021},
  doi = {10.1145/3485493},
  url = {https://arxiv.org/abs/2108.04783},
  note = {Source identifier: 2108.04783}
}