• Sign in
  • Sign up
conf.researchr.org / Javier Godoy
  • MODELS 2022 profile
  • MODELS 2025 profile

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

  • Author of Modal Abstractions for Smart Contract Validation within the Posters-track
  • Author of Modal Abstractions for Smart Contract Validation within the Research Papers-track

2022

MODELS

  • Author of Predicate Abstractions for Smart Contract Validation within the Technical Track-track
Share
xSun 26 Oct 14:17
using conf.researchr.org (v1.72.1)
Support page
Sign Up