Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Ákos Hajdu

Registered user since Thu 3 Oct 2019

Name: Ákos Hajdu

Country: Hungary

Affiliation: Budapest University of Technology and Economics

Personal website: https://hajduakos.github.io/

Contributions

ISSTA 2020Author of Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity within the WoSCA-track
Show activities from other conferences

ISSTA 2020-profile
View general profile