Ausgabe 2/2013
Inhalt (2 Artikel)
Original Article
Compositional type checking of delta-oriented software product lines
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer