Introduction to the special issue on computational logic for verification (Q4644352)

From MaRDI portal
scientific article; zbMATH DE number 6877187
Language Label Description Also known as
English
Introduction to the special issue on computational logic for verification
scientific article; zbMATH DE number 6877187

    Statements

    Identifiers

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