conf.researchr.org / Tadeusz Litak
Not registered as user yet
Name:Tadeusz Litak
Country:Germany
Affiliation:FAU Erlangen-Nuremberg, INF 8
Contributions
POPL 2020 | Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track |
VMCAI 2020 | Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track |