Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types Blog Posting

authors

publication date

January 1, 2022

published in

arXiv (Cornell University)

Digital Object Identifier (DOI)

https://doi.org/10.48550/arxiv.2208.12747

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W4293566178 Global Citation Count