Login / Signup
Dominique Duval
Publication Activity (10 Years)
Years Active: 1984-2023
Publications (10 Years): 14
Top Topics
Databases
Graph Transformation
Formal Verification
Spectral Embedding
Top Venues
CoRR
ICGT
Logica Universalis
J. Log. Algebraic Methods Program.
</>
Publications
</>