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

Activité: Participation ou organisation d'un événement › Participation à 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ériode	24 févr. 2013 → 1 mars 2013
Type d'événement	Séminaire
Lieu	Schloss Dagstuhl, AllemagneAfficher sur la carte