Dagstuhl Seminar 13091 on "Analysis, Test and Verification in The Presence of Variability"

Cordy, M. (Conférencier)

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Description

Giving a talk entitled "ProVeLines: A Product Line of Model Checkers for Software Product Lines". Attending the other presentations.
Période24 févr. 20131 mars 2013
Type d'événementSéminaire
LieuSchloss Dagstuhl, Allemagne