Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings (Q2479588)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings
scientific article

    Statements

    Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings (English)
    0 references
    1 April 2008
    0 references

    Identifiers