责任导师 : Thérèse HARDIN

Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel

1999-2001 刊物