Merkliste 
 1 Ergebnisse 
 
1

An Introduction to Graphical Modeling of CI/CD Workflows wi..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,