The Next 700 Relational Program Logics (bibtex)

by Kenji Maillard, Catalin Hritcu, Exequiel Rivas and Antoine Van Muylder

Reference:

The Next 700 Relational Program Logics (Kenji Maillard, Catalin Hritcu, Exequiel Rivas and Antoine Van Muylder), arXiv:1907.05244, 2019.

Bibtex Entry:

@misc{relational700,
  author = {Kenji Maillard and
            Catalin Hritcu and
            Exequiel Rivas and
            Antoine Van Muylder},
  title = {The Next 700 Relational Program Logics},
  howpublished = {arXiv:1907.05244},
  year = {2019},
  month = jul,
  url = {https://arxiv.org/abs/1907.05244},
}