CAMILA formal software engineering supported by functional programming
Testo / risorsa
Testo / risorsa
This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of th...
Idioma Inglés
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario