Not registered as user yet

Name:Adam Rogalewicz
Affiliation:Brno University of Technology, Faculty of Information Technology

Contributions

ECOOP 2022 Author of Low-Level Bi-Abduction within the Research Papers-track
Infer Practitioners 2020 Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track