Collection des séminaires de l'Équipe Méthodes et génie logiciel — Equipe Méthodes et génie logiciel. Nantes