ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Oksana Tkachuk

Registered user since Fri 4 Nov 2016

Name:Oksana Tkachuk
Country:United States
Affiliation:Amazon Web Services
Research interests:Software verification, automated reasoning

Contributions

Show activities from other conferences

Using general profile