NASA Formal Methods 2023 (series) / Hadar Frenkel
![Hadar Frenkel](https://conf.researchr.org/getProfileImage/hadarfrenkel/f32ec2b9-8e5e-4513-9d62-a081cedebc1a/small.jpg?1711546955000)
Registered user since Fri 9 Jun 2023
Name:Hadar Frenkel
Country:Germany
Affiliation:CISPA Helmholtz Center for Information Security
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile