Write a Blog >>
MODELS 2021
Sun 10 - Fri 15 October 2021
Á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

MODELS 2021 PC Member in OpenMBEE within the Workshops-track
Show activities from other conferences

Using general profile