@misc{indiciae8b881104b624,
  title = {Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation},
  author = {Patrick Cousot},
  year = {2023},
  url = {https://arxiv.org/abs/2310.15340},
  note = {Source identifier: 2310.15340}
}