Merkliste 
 1 Ergebnisse 
 
1

Modeling Big Data Processing Programs:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,