The Next 700 Relational Program Logics (bibtex)
by , , ,
Reference:
The Next 700 Relational Program Logics (Kenji Maillard, Catalin Hritcu, Exequiel Rivas, 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},
}
Powered by bibtexbrowser