Congress detail
Authors: Cristiá, Maximiliano.
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