selected publications
-
blog posting
- Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. arXiv (Cornell University). 2022
Publications
Contact
full name
- Matthieu Dien
Publications in VIVO
Co-author Network