NASA Formal Methods 2023 (series) / Oksana Tkachuk
![Oksana Tkachuk](https://conf.researchr.org/getProfileImage/oksanatkachuk/568062c4-f244-40f8-8c23-a26ca87606b5/small.jpg?1711474573000)
Registered user since Fri 4 Nov 2016
Name:Oksana Tkachuk
Country:United States
Affiliation:Amazon Web Services
Personal website: http://ti.arc.nasa.gov/profile/otkachuk/
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile