Automated Technology for Verification and Analysis (Q5394199)

From MaRDI portal
scientific article; zbMATH DE number 5067796
Language Label Description Also known as
English
Automated Technology for Verification and Analysis
scientific article; zbMATH DE number 5067796

    Statements

    Automated Technology for Verification and Analysis (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    25 October 2006
    0 references
    0 references
    0 references