ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Software Product Lines
FASE
Sal C
Family-Based Model Checking with mCRL2
Maurice H. ter Beek, Erik P. de Vink, and Tim A. C. Willemse
(ISTI-CNR, Italy; Eindhoven University of Technology, Netherlands)
Publisher's Version

Authors:


Time stamp: 2019-04-23T06:40:42+02:00