Workshop on SW product line engineering, The LEUVEN Center on Information and Communication Technology

Classen, A. (Speaker)

Activity: Participating in or organising an event typesParticipation in conference

Description

Presented work on symbolic model checking of product lines.
Period10 May 2011
Event typeSymposium
LocationKatholieke Universiteit Leuven, Leuven, Belgium