Javier Godoy - MODELS 2025

Sun 5 - Fri 10 October 2025 Grand Rapids, Michigan, United States

Registered user since Thu 29 Sep 2022

Name:Javier Godoy

Country:Argentina

Affiliation:Departamento de Computacion. FCEyN. UBA

Personal website: https://lafhis.dc.uba.ar/~jgodoy

Contributions

2025

MODELS

Modal Abstractions for Smart Contract Validation

Show activities from other conferences

MODELS 2025-profile
View general profile