Items where Author / Artist / Editor is "Rein, Alexander"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Rein, Alexander and Reiser, Mark-Oliver
(2010)
Feature link propagation across variability representations with Isabelle/HOL.
In:
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering.
Rubin, Julia, Botterweck, Goetz, Mezini, Mira, Maman, Itay and Lero, Andreas, eds.
ACM, New York, pp. 48-53.
ISBN 9781605589688.
[Book Section]