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

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Description

Giving a talk entitled "ProVeLines: A Product Line of Model Checkers for Software Product Lines". Attending the other presentations.

Period	24 Feb 2013 → 1 Mar 2013
Event type	Seminar
Location	Schloss Dagstuhl, GermanyShow on map