Formal proofs of numerical programs
Résumé
Poster du projet Hisséo pour le forum Digitéo.
Origine : Fichiers produits par l'(les) auteur(s)