Marc Guyomard

• Structures de données et méthodes formelles
• Algorithm Design