Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
2016 ◽
Vol 85
(1)
◽
pp. 123-124
◽
Maurice H. ter Beek
◽
Dave Clarke
◽
Ina Schaefer
2016 ◽
Vol 85
(1)
◽
pp. 121-122
2011 ◽
Vol 44
(2)
◽
pp. 82-85
◽
Ina Schaefer
◽
Reiner Hahnle
Julia Rubin
◽
Thomas Thüm
2016 ◽
Vol 21
(4)
◽
pp. 1579-1585
◽
Ebrahim Bagheri
◽
David Benavides
◽
Klaus Schmid
◽
Per Runeson
David Benavides
◽
Martin Leucker
◽
Martin Becker
◽
Rick Rabiser
◽
Karina Villela
◽
...
2019 ◽
Vol 154
◽
pp. 110-111
Mathieu Acher
◽
Myra B. Cohen
Dave Clarke
◽
Ina Schaefer
◽
Maurice H. ter Beek
◽
Sven Apel
◽
Joanne M. Atlee
Ina Schaefer
◽
Martin Becker
◽
Ralf Carbon
◽
Sven Apel
Reiner Hähnle
◽
Ina Schaefer
Maurice H. ter Beek
◽
Martin Becker
◽
Andreas Classen
◽
Fabricia Roos-Frantz
◽
Ina Schaefer
◽
...