BECAS
GODOY Javier Ignacio
datos académicos
artículos
congresos y reuniones científicas
datos académicos
Título/s
Licenciatura en Sistemas
Categoría
INTERNA DE FINALIZACION DE DOCTORADO
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Campo de aplicación
Ciencia y cultura-Ciencia y tecnologia
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Ingeniería de Software
Tema
Abstracciones por predicado para validación y verificación de contratos inteligentes
Tema en inglés
Predicate abstraction for smart contracts validation and verification
Palabras clave
contratos inteligentes // abstracciones por predicados // validación&verificación
Palabras clave en inglés
smart contracts // predicate abstraction // validation&verification
Director
GALEOTTI, JUAN PABLO / INV INDEPENDIENTE
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
enviar mensaje