sur 19
Méthodes formelles pour les systèmes répartis et coopératifs — Collectif