1
Publications
39
Citations
1
H-Index
2016
Active since
Affiliations
State Key Laboratory of Cryptology(Current)
Diane Gallois-Wong is an author at State Key Laboratory of Cryptology specializing in formal verification, engineering, and verification.
Top concepts
DesignEngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingLogic ProgrammingSoftware Analysis
Publications per year
2016–2016
1
1
Beginner's luck: a language for property-based generators
Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu et al. · 2016 · 39 citations · Full text
Rows per page
1–1 of 1