Invited talk "Model-Checking Software Product Lines" upon invitation by the IFIP 2.9 working group on Requirements Engineering for its annual meeting.
- Heymans, P. (Orateur)
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès