conf.researchr.org / Ilia Zlatkin
Registered user since Wed 12 Oct 2022
Name:Ilia Zlatkin
Country:United States
Affiliation:Florida State University, USA
GitHub: https://github.com/izlatkin
Research interests:SMT, formal methods, test generation, testing
Contributions