NASA Formal Methods 2023 (series) / Bat-Chen Rothenberg
Registered user since Sun 8 Nov 2020
Name:Bat-Chen Rothenberg
Country:Israel
Affiliation:Technion
Personal website: https://batg.cswp.cs.technion.ac.il/
Research interests:Program repair, testing, fault localization, formal verification, formal methods
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile