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

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

Period24 Jan 2008
Event typeSeminar
LocationSevilla, SpainShow on map