The Next 700 Relational Program Logics (bibtex)
by Kenji Maillard, Catalin Hritcu and Exequiel Rivas
Reference:
The Next 700 Relational Program Logics (Kenji Maillard, Catalin Hritcu and Exequiel Rivas), To appear at POPL, 2020.
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 = {To appear at POPL},
  year = {2020},
  url = {https://arxiv.org/abs/1907.05244},
}
Powered by bibtexbrowser