Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The next 700 relational program logics
POPL, 2020.
@article{POPL-2020-MaillardHRM,
author = "Kenji Maillard and Catalin Hritcu and Exequiel Rivas and Antoine Van Muylder",
doi = "10.1145/3371072",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "33",
publisher = "{ACM}",
title = "{The next 700 relational program logics}",
volume = 4,
year = 2020,
}