Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15--19, 2010. Proceedings (Q983524)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15--19, 2010. Proceedings
scientific article

    Statements

    Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15--19, 2010. Proceedings (English)
    0 references
    23 July 2010
    0 references

    Identifiers