Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
BAVERA FRANCISCO PEDRO
Datos académicos
Lugar de trabajo
UNIVERSIDAD NACIONAL DE RIO CUARTO / FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES / DEPARTAMENTO DE COMPUTACION
Título
Doctor en Ciencias de la Computación
Grado
Universitario de posgrado/doctorado
Campo de aplicación
Comunicaciones-Telecomunicaciones
Especialidad
Verificación de Software
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-1 de 1
Artículo
Justification logic and audited computation
Bavera, Francisco Pedro
;
Bonelli, Eduardo Augusto
(
Oxford University Press
,
2015-06
)
Mostrando ítems 1-1 de 1