Invited speaker at University of Seville (ISA seminar). Title of the talk "Formal Modelling and Verification of Software Product Lines"
- Heymans, P. (Contributor)
Activity: Participating in or organising an event types › Participation in workshop, seminar, course