Adam Rogalewicz

Registered user since Thu 13 Apr 2023

Name:Adam Rogalewicz
Country:Czech Republic
Affiliation:Brno University of Technology, Czechia
Research interests:Program analysis, automated testing, Separation logic

Contributions