Quantitative Model Checking PhD School
- Cordy, M. (Participant)
Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours