Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Ákos Hajdu

Registered user since Thu 3 Oct 2019

Name:Ákos Hajdu
Country:United Kingdom
Affiliation:Facebook
Research interests:Formal methods, verification, program analysis, automated reasoning

Contributions

Show activities from other conferences

ICST 2022-profile
View general profile