Write a Blog >>
ASE 2022
Mon 10 - Fri 14 October 2022 Oakland Center, Michigan, United States
ASE 2022 (series) / Ilia Zlatkin
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

Show activities from other conferences

ASE 2022-profile
View general profile