Detalle del congreso

Autores: Cristiá, Maximiliano.

Resumen: No hay abstract disponible (artículo breve).

Tipo de reunión: Workshop.

Tipo de trabajo: Artículo Breve.

Producción: Why, How and What Should be Taught about Formal Methods?.

Reunión científica: Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015.

Publicado: Sí

Lugar publicación: Oslo

Mes de reunión: 6

Año: 2015.

Página web: aquí