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