Publicación:
Formal methods in context [Los métodos formales en contexto]

Portada

Miniatura

Citas bibliográficas

Gestores Bibliográficos

Mendeley

Indexadores

Google
Microsoft Academic

Código QR

QR
Autores

Serna M. E.

Serna A. A.

Autor corporativo

Recolector de datos

Otros/Desconocido

Director audiovisual

Editor

Tipo de Material

info:eu-repo/semantics/conferenceObject

Fecha

2014

Citación

Título de serie/ reporte/ volumen/ colección

Es Parte de

Descripción

Notas

URL del Recurso

URI

https://hdl.handle.net/20.500.12622/3785

Identificador ISBN

Identificador ISSN

Página de inicio

61

Es Parte del Libro

Colecciones

Artículos de Investigación Indexados