Mostrando 1 - 3 Resultados de 3 Para Buscar 'Bogdanich Espina, Vera' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
  • Autor
  • Bogdanich Espina, Vera
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Bogdanich Espina, Vera', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Ethereum smart contracts verification : a survey and a prototype tool
    por Bogdanich Espina, Vera
    Publicado 2019
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis de Grado
    Agregar a favoritos
    Guardado en:
  2. 2
    Ethereum smart contracts verification : a survey and a prototype tool
    por Bogdanich Espina, Vera
    Publicado 2019
    Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)
    Enlace del recurso
    Enlace del recurso
    Tesis de grado publishedVersion
    Agregar a favoritos
    Guardado en:
  3. 3
    Ethereum smart contracts verification : a survey and a prototype tool
    por Bogdanich Espina, Vera
    Publicado 2019
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis de grado publishedVersion
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Materias Relacionadas

ETHEREUM MONITORING SOFTWARE VERIFICATION SOLIDITY SURVEY TEMPORAL LOGIC

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...