Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings (Q6070478)

From MaRDI portal
scientific article; zbMATH DE number 7768615
Language Label Description Also known as
English
Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings
scientific article; zbMATH DE number 7768615

    Statements

    Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings (English)
    0 references
    21 November 2023
    0 references

    Identifiers

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