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