Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
You are here
| Title | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles |
| Publication Type | Book |
| Year of Publication | 2022 |
| Authors | Steffen B, Margaria T |
| Series Title | Lecture Notes in Computer Science |
| DOI |
