Merkliste 
 1 Ergebnisse 
 
1

Identifying variability in object-oriented code using model.. 

, In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications / edited by Tiziana Margaria, Bernhard Steffen
Lecture Notes in Computer Science ; 9953
Wille, David ; Tiede, Michael ; Seidl, Christoph... (2016)  - p. 547-562