Javier Godoy - MODELS 2022

Sun 23 - Fri 28 October 2022 Montréal, Canada

Registered user since Thu 29 Sep 2022

Name:Javier Godoy

Country:Argentina

Affiliation:University of Buenos Aires, Argentina

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

Contributions

2022

MODELS

Predicate Abstractions for Smart Contract Validation

Show activities from other conferences

MODELS 2022-profile
View general profile