Les étudiants apprennent à compléter leurs fonctions d'une spécification formelle (typage), de tests pertinents, de simulations et d'éléments de correction ( ...