Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022 (Q6039756)

From MaRDI portal
scientific article; zbMATH DE number 7688029
Language Label Description Also known as
English
Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022
scientific article; zbMATH DE number 7688029

    Statements

    Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022 (English)
    0 references
    23 May 2023
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references