Certified Verification of Relational Properties

@inproceedings{blatterKPG22,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Virgile Prevosto and
               Pascale Le Gall},
  editor    = {Maurice H. ter Beek and
               Rosemary Monahan},
  title     = {Certified Verification of Relational Properties},
  booktitle = {17th International Conference on integrated Formal Methods ({iFM} 2022)},
  eventdate = {2022-06-07/2022-06-10},
  venue     = {Lugano, Switzerland},
  series    = {Lecture Notes in Computer Science},
  volume    = {13274},
  pages     = {86--105},
  publisher = {Springer},
  year      = {2022},
  month     = jun,
  url       = {https://doi.org/10.1007/978-3-031-07727-2\_6},
  doi       = {10.1007/978-3-031-07727-2\_6}
}