Loading...
Latest additions
-
-
Théo Losekoot, Thomas Genet, Thomas Jensen. Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jun 2023, Rome, Italy. pp.1-21, ⟨10.4230/LIPIcs.FSCD.2023.7⟩. ⟨hal-04216680⟩
-