17635814
Results 1 to 1 of 1
Selection :
Coq, un outil pour l'enseignement : Une expérience avec les étudiants du DESS Développement de logiciels sûrsDELAHAYE, David; JAUME, Mathieu; PREVOSTO, Virgile et al.TSI. Technique et science informatiques. 2005, Vol 24, Num 9, pp 1139-1160, issn 0752-4072, 22 p.Article