ISSTA 2020 (series) / Á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 2020 | Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2020-profile
View general profile
View general profile