conf.researchr.org / Veronika Šoková
Registered user since Wed 4 May 2022
Name:Veronika Šoková
Affiliation:Brno University of Technology
Contributions
| ECOOP 2022 | Author of Low-Level Bi-Abduction within the Research Papers-track |
Registered user since Wed 4 May 2022
Contributions
| ECOOP 2022 | Author of Low-Level Bi-Abduction within the Research Papers-track |