Merkliste 
 1 Ergebnisse 
 
1

Level-Up - From Bits to Words:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Güdemann, Matthias ; Riedl, Klaus - p. 124-142 , 2022