Formal Verification for Numerical Computations, and the Other Way Around
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-02194683
Soumis le : jeudi 25 juillet 2019-17:39:52
Dernière modification le : mercredi 26 février 2025-15:22:03