Diane Gallois-Wong
Author
Alternate name Diane Gallois‐Wong
Past institutions Institut national de recherche en informatique et en automatique, State Key Laboratory of Cryptology
H-index: 3
I10-index: 1
Works count: 4
Citations count: 41
Beginner's luck: a language for property-based generators
2016 · Leonidas Lampropoulos, Diane Gallois-Wong, et al.
Beginner's Luck: A Language for Property-Based Generators
2016 · Leonidas Lampropoulos, Diane Gallois-Wong, et al. · arXiv (Cornell University)
Beginner's luck: a language for property-based generators
2017 · Leonidas Lampropoulos, Diane Gallois-Wong, et al. · ACM SIGPLAN Notices