Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Javier Godoy
conf.researchr.org general profile
MODELS 2022 profile
Registered user since Thu 29 Sep 2022
Name:
Javier Godoy
Country:
Argentina
Affiliation:
Departamento de Computaci�n. FCEyN. UBA
Contributions
2022
MODELS
Author of Predicate Abstractions for Smart Contract Validation within the Technical Track-track
Share
x
Thu 21 Nov 12:43