Invited speaker at University of Luxemburg (LASSY seminar). Title of the talk "Formal Modelling and Verification of Software Product Lines"

Heymans, P. (Contributor)

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Period20 Sep 2007
Event typeSeminar
LocationLuxembourg, Uni.Lu