CAIN 2023
Mon 15 - Sat 20 May 2023 Melbourne, Australia
co-located with ICSE 2023
Ákos Hajdu

Registered user since Thu 3 Oct 2019

Name:Ákos Hajdu
Country:United Kingdom
Affiliation:Meta
Research interests:Formal methods, program analysis, static analysis, automated reasoning, SAT/SMT

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile