Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part I (Q826601)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part I
scientific article

    Statements

    Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part I (English)
    0 references
    5 January 2021
    0 references

    Identifiers