Séminaire Marelle : Vérification formelle pour les méthodes numériques

Sorry, this entry is only available in French.