Congress detail

Authors: Cristiá, Maximiliano.

Title: Why, How and What Should be Taught about Formal Methods?.

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

Meeting type: Workshop.

Type of job: Artículo Breve.

Production: Why, How and What Should be Taught about Formal Methods?.

Scientific meeting: Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015.

It's published?: Yes

Publication place: Oslo

Meeting month: 6

Year: 2015.

Link: here