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

Registered user since Thu 3 Oct 2019

Name:Ákos Hajdu
Affiliation:Budapest University of Technology and Economics


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

ISSTA 2020-profile
View general profile