CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Why, How and What Should be Taught about Formal Methods?
Autor/es:
CRISTIÁ, MAXIMILIANO
Reunión:
Workshop; Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015; 2015
Resumen:
No hay abstract disponible (artículo breve)
