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/


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

ISSTA 2020-profile
View general profile