@misc{indiciae16e1b9960ba5,
  title = {Responsibility Analysis by Abstract Interpretation},
  author = {Chaoqiang Deng and Patrick Cousot},
  year = {2019},
  url = {https://arxiv.org/abs/1907.08251},
  note = {Source identifier: 1907.08251}
}