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í