Merkliste 
 1 Ergebnisse 
 
1

Contract-Based Specification and Test Generation for Adapti..:

, In: Theory and Engineering of Dependable Computer Systems and Networks; Advances in Intelligent Systems and Computing,
Graics, Bence ; Molnár, Vince ; Majzik, István - p. 136-145 , 2021