Ákos Hajdu - ISSTA 2020

Write a Blog >>

Sat 18 - Wed 22 July 2020

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

2020

ISSTA

Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity

Show activities from other conferences

ISSTA 2020-profile
View general profile