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

Cordy, M. (Speaker)

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


Giving a talk entitled "ProVeLines: A Product Line of Model Checkers for Software Product Lines". Attending the other presentations.
Period24 Feb 20131 Mar 2013
Event typeSeminar
LocationSchloss Dagstuhl, Germany