Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
1
Cinco Cloud: A Holistic Approach for Web-Based Language-Dri..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
2
Executable Documentation: From Documentation Languages to P..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
3
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 ,
4
Executable Documentation: Test-First in Action:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation ,
5
An Introduction to Graphical Modeling of CI/CD Workflows wi..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation ,
6
Aligned, Purpose-Driven Cooperation: The Future Way of Syst..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
7