Login / Signup
Théo Losekoot
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Database
Desirable Properties
Multiscale
Aggregation Functions
Top Venues
FSCD
</>
Publications
</>
Théo Losekoot
,
Thomas Genet
,
Thomas P. Jensen
Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures.
FSCD
(2023)