Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
1
DIME Days (ISoLA 2022 Track Introduction):
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
2
Evaluation of Graphical Modeling of CI/CD Workflows with Ri:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
3