Théo Losekoot, Thomas Genet, Thomas P. Jensen. Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. In Marco Gaboardi, Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. Volume 260 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{LosekootGJ23,
title = {Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures},
author = {Théo Losekoot and Thomas Genet and Thomas P. Jensen},
year = {2023},
doi = {10.4230/LIPIcs.FSCD.2023.7},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.7},
researchr = {https://researchr.org/publication/LosekootGJ23},
cites = {0},
citedby = {0},
booktitle = {8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy},
editor = {Marco Gaboardi and Femke van Raamsdonk},
volume = {260},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-277-8},
}