Invited speaker at University of Luxemburg (LASSY 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