@article{OHearn_19,
  title={Incorrectness logic},
  author={O'Hearn, Peter W},
  journal={Proceedings of the ACM on Programming Languages},
  volume={4},
  number={POPL},
  pages={1--32},
  year={2019},
  publisher={ACM New York, NY, USA}
}

@inproceedings{deVries_Koutavas_11,
  title={Reverse hoare logic},
    author={De Vries, Edsko and Koutavas, Vasileios},
      booktitle={International Conference on Software Engineering and Formal Methods (SEFM)},
        pages={155--171},
          year={2011},
            publisher={Springer}
            }

@inproceedings{Beringer_11,
  title={Relational Decomposition},
  author={Beringer, Lennart},
  booktitle={International Conference on Interactive Theorem Proving (ITP)},
  pages={39--54},
  year={2011},
  publisher={Springer},
}


@misc{murray2020underapproximate,
    title={An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation \& More},
    author={Toby Murray},
    year={2020},
    howpublished={arXiv eprint arXiv:2003.04791 [cs.LO]},
    note = {\url{https://arxiv.org/abs/2003.04791}}    
}