|
|
|
U.W. Eisenecker
,
K. Czarnecki
,
Patrick Heymans
:
VaMoS 2011 Proceedings
, Fifth International Workshop on Variability Modelling of Software-intensive Systems
, [1749]
, <SSW>
|
|
|
Francesco Logozzo
,
Doron A. Peled
,
Lenore D. Zuck
:
Verification, Model Checking, and Abstract Interpretation
, 9th International Conference, VMCAI 2008
, [1557]
, <SSW>
|
|
|
G. Kappel
,
Boualem Benatallah
,
Fabio Casati
,
Gustavo Rossi
:
Web Engineering
, 10th International Conference, ICWE 2010
, [1713]
, <CDL1>
|
|
|
Czech Society for Computer Science
:
XXI SOFEM '94
, Invited Talks
, [0054]
, <CHE>
|
|
|
