Méthodes numériques rigoureuses et formellement vérifiées
1 : Inria, Laboratoire des Sciences du Numérique de Nantes
Institut National de Recherche en Informatique et en Automatique
TBA
| Type : | : | Exposé invité |
| Thématiques | : | Exposé invité |
| PDF version | : |  PDF version |
