conf.researchr.org / Anna Slobodova
Not registered as user yet
Name: Anna Slobodova
Contributions
| CPP 2020 | Author of Verifying x86 Instruction Implementations within the CPP 2020-track |
| CPP 2019 | Committee Member in Program Committee within the CPP 2019-track |