Invited speaker at University of Seville (ISA seminar). Title of the talk "Formal Modelling and Verification of Software Product Lines"
- Heymans, P. (Orateur)
Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours